AlBasmala Archive Tags RSS About

Tags

Posts tagged "agda":

24 Dec 2018

Graphs are to categories as lists are to monoids

Posts tagged "arabic":

21 Oct 2022

Dora, The Arab Explorer

31 Oct 2022

Glossary of Arabic Linguistic Terms

01 Nov 2022

Arabic Roots: The Power of Patterns

02 Nov 2022

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

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 "clojure":

04 Sep 2022

💐 Making VSCode itself a Java REPL 🔁

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

16 Aug 2022

💐 VSCode is itself a JavaScript REPL 🔁

04 Sep 2022

💐 Making VSCode itself a Java REPL 🔁

01 Nov 2022

Arabic Roots: The Power of Patterns

Posts tagged "family":

21 Oct 2022

Dora, The Arab Explorer

Posts tagged "frama-c":

12 Jan 2019

An Interactive Way To C

Posts tagged "haskell":

04 Sep 2022

💐 Making VSCode itself a Java REPL 🔁

Posts tagged "java":

04 Sep 2022

💐 Making VSCode itself a Java REPL 🔁

Posts tagged "javascript":

16 Aug 2022

💐 VSCode is itself a JavaScript REPL 🔁

04 Sep 2022

💐 Making VSCode itself a Java REPL 🔁

21 Oct 2022

Dora, The Arab Explorer

01 Nov 2022

Arabic Roots: The Power of Patterns

Posts tagged "karate":

01 Feb 2023

A Brisk Introduction to Karate

Posts tagged "lisp":

21 Aug 2019

Typed Lisp, A Primer

04 Sep 2022

💐 Making VSCode itself a Java REPL 🔁

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 "python":

04 Sep 2022

💐 Making VSCode itself a Java REPL 🔁

Posts tagged "repl-driven-development":

16 Aug 2022

💐 VSCode is itself a JavaScript REPL 🔁

04 Sep 2022

💐 Making VSCode itself a Java REPL 🔁

Posts tagged "ruby":

04 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":

04 Sep 2022

💐 Making VSCode itself a Java REPL 🔁

Posts tagged "vscode":

16 Aug 2022

💐 VSCode is itself a JavaScript REPL 🔁

04 Sep 2022

💐 Making VSCode itself a Java REPL 🔁