Pinned Loading

1. bruijn bruijn Public

   🧮 Programming with pure lambda calculus

   Haskell 146 3

2. birb birb Public

   🐦 *cheep cheep shriek caw*

   Haskell 105 5

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

   A language with lexical effect handlers and lightweight effect polymorphism

   Scala 481 44

4. Melvix Melvix Public

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

   C 83 3

5. effektOS effektOS Public

   🎇 operating system but in effekt (poc)

   C 18

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

   📚 Interaction net resources

   64 3