AlBasmala RSS About

Tags

Posts tagged "agda":

24 Dec 2018

Graphs are to categories as lists are to monoids

Posts tagged "arabic":

21 Oct 2022

Arabic Cartoons

01 Nov 2022

Glossary of Arabic Linguistic Terms

02 Nov 2022

Arabic Roots: The Power of Patterns

03 Nov 2022

A Brisk Introduction to the Fundamentals of Arabic Grammar, نحو

14 Jun 2023

Arabic CheatSheet

Posts tagged "arend":

08 Sep 2023

💐 Repl Driven Development: /Editor Integrated REPLs for all languages/ 🔁

Posts tagged "c":

12 Jan 2019

An Interactive Way To C

Posts tagged "category-theory":

14 Nov 2018

Discovering Heyting Algebra

24 Dec 2018

Graphs are to categories as lists are to monoids

Posts tagged "cheat-sheet":

14 Jun 2023

Arabic CheatSheet

25 Dec 2023

Java CheatSheet

Posts tagged "clojure":

05 Sep 2022

💐 Making VSCode itself a Java REPL 🔁

08 Sep 2023

💐 Repl Driven Development: /Editor Integrated REPLs for all languages/ 🔁

Posts tagged "dependent-types":

12 Mar 2019

Have you ever packaged anything?

Posts tagged "emacs":

12 Jan 2019

An Interactive Way To C

21 Aug 2019

Typed Lisp, A Primer

17 Aug 2022

💐 VSCode is itself a JavaScript REPL 🔁

05 Sep 2022

💐 Making VSCode itself a Java REPL 🔁

02 Nov 2022

Arabic Roots: The Power of Patterns

08 Sep 2023

💐 Repl Driven Development: /Editor Integrated REPLs for all languages/ 🔁

Posts tagged "family":

21 Oct 2022

Arabic Cartoons

02 Feb 2023

My Family Tree

Posts tagged "frama-c":

12 Jan 2019

An Interactive Way To C

Posts tagged "haskell":

05 Sep 2022

💐 Making VSCode itself a Java REPL 🔁

08 Sep 2023

💐 Repl Driven Development: /Editor Integrated REPLs for all languages/ 🔁

Posts tagged "idris":

08 Sep 2023

💐 Repl Driven Development: /Editor Integrated REPLs for all languages/ 🔁

Posts tagged "java":

05 Sep 2022

💐 Making VSCode itself a Java REPL 🔁

08 Sep 2023

💐 Repl Driven Development: /Editor Integrated REPLs for all languages/ 🔁

25 Dec 2023

Java CheatSheet

Posts tagged "javascript":

17 Aug 2022

💐 VSCode is itself a JavaScript REPL 🔁

05 Sep 2022

💐 Making VSCode itself a Java REPL 🔁

21 Oct 2022

Arabic Cartoons

02 Nov 2022

Arabic Roots: The Power of Patterns

08 Sep 2023

💐 Repl Driven Development: /Editor Integrated REPLs for all languages/ 🔁

Posts tagged "karate":

02 Feb 2023

A Brisk Introduction to Karate

Posts tagged "lisp":

21 Aug 2019

Typed Lisp, A Primer

05 Sep 2022

💐 Making VSCode itself a Java REPL 🔁

08 Sep 2023

💐 Repl Driven Development: /Editor Integrated REPLs for all languages/ 🔁

Posts tagged "order-theory":

14 Nov 2018

Discovering Heyting Algebra

Posts tagged "packages":

12 Mar 2019

Have you ever packaged anything?

Posts tagged "program-proving":

12 Jan 2019

An Interactive Way To C

21 Aug 2019

Typed Lisp, A Primer

Posts tagged "purescript":

08 Sep 2023

💐 Repl Driven Development: /Editor Integrated REPLs for all languages/ 🔁

Posts tagged "python":

05 Sep 2022

💐 Making VSCode itself a Java REPL 🔁

08 Sep 2023

💐 Repl Driven Development: /Editor Integrated REPLs for all languages/ 🔁

Posts tagged "racket":

08 Sep 2023

💐 Repl Driven Development: /Editor Integrated REPLs for all languages/ 🔁

Posts tagged "repl-driven-development":

17 Aug 2022

💐 VSCode is itself a JavaScript REPL 🔁

05 Sep 2022

💐 Making VSCode itself a Java REPL 🔁

08 Sep 2023

💐 Repl Driven Development: /Editor Integrated REPLs for all languages/ 🔁

Posts tagged "ruby":

05 Sep 2022

💐 Making VSCode itself a Java REPL 🔁

Posts tagged "types":

24 Dec 2018

Graphs are to categories as lists are to monoids

21 Aug 2019

Typed Lisp, A Primer

Posts tagged "typescript":

05 Sep 2022

💐 Making VSCode itself a Java REPL 🔁

Posts tagged "vscode":

17 Aug 2022

💐 VSCode is itself a JavaScript REPL 🔁

05 Sep 2022

💐 Making VSCode itself a Java REPL 🔁

08 Sep 2023

💐 Repl Driven Development: /Editor Integrated REPLs for all languages/ 🔁