Pinned

1. plt

   λΠ Programming Language Theory

   CSS 4.5k 304

2. lennart-lambda

   λλλλ Lennart Augustsson's λ-calculus cooked four ways

   Haskell 33 7

3. learning-programming-languages

   👨🏻‍🎓 Playground for learning programming languages

   Standard ML 22 7

4. lennart-lambda-cube

   Lennart Augustsson's lamda cube

   Haskell 5 2

5. 📊 Weekly development breakdown

   1

   Go         10 hrs 8 mins  ████████▎░░░░░░░░░░░░  39.9%

   2

   Other      5 hrs          ████▏░░░░░░░░░░░░░░░░  19.7%

   3

   Nix        2 hrs 7 mins   █▊░░░░░░░░░░░░░░░░░░░   8.4%

   4

   Org        1 hr 45 mins   █▍░░░░░░░░░░░░░░░░░░░   6.9%

   5

   YAML       1 hr 36 mins   █▎░░░░░░░░░░░░░░░░░░░   6.3%

6. Idris2

   Forked from idris-lang/Idris2

   A purely functional programming language with first class types

   Idris