Pinned Loading

1. bruijn bruijn Public

   🧮 Programming with pure lambda calculus

   Haskell 140 1

2. birb birb Public

   🐦 *cheep cheep shriek caw*

   Haskell 100 5

3. effekt-lang/effekt effekt-lang/effekt Public

   A language with lexical effect handlers and lightweight effect polymorphism

   Scala 421 39

4. Melvix Melvix Public

   💻 Small operating system written from scratch (covid/school project)

   C 81 4

5. effektOS effektOS Public

   🎇 operating system but in effekt (poc)

   C 14

6. interaction-net-resources interaction-net-resources Public

   📚 Interaction net resources

   43