Pinned Loading

1. bruijn bruijn Public

   🧮 Programming with pure lambda calculus

   Haskell 133 1

2. birb birb Public

   🐦 *cheep cheep shriek caw*

   Haskell 97 5

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

   A language with lexical effect handlers and lightweight effect polymorphism

   Scala 411 40

4. Melvix Melvix Public

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

   C 79 4

5. AdventOfCode AdventOfCode Public

   🎄 My Advent Of Code solutions

   C 10

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

   📚 Interaction net resources

   41