Pinned Loading

1. bruijn bruijn Public

   🧮 Programming with pure lambda calculus

   Haskell 144 2

2. birb birb Public

   🐦 *cheep cheep shriek caw*

   Haskell 104 5

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

   A language with lexical effect handlers and lightweight effect polymorphism

   Scala 465 41

4. Melvix Melvix Public

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

   C 82 3

5. effektOS effektOS Public

   🎇 operating system but in effekt (poc)

   C 18

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

   📚 Interaction net resources

   58 2