Pinned Loading

1. bruijn bruijn Public

   🧮 Programming with pure lambda calculus

   Haskell 89

2. birb birb Public

   🐦 *cheep cheep shriek caw*

   Haskell 93 5

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

   A language with lexical effect handlers and lightweight effect polymorphism

   Scala 335 24

4. Melvix Melvix Public

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

   C 77 4

5. BLoC BLoC Public

   ✨ File format and optimizer for programs encoded in binary lambda calculus

   C 11

6. AdventOfCode AdventOfCode Public

   🎄 My Advent Of Code solutions

   C 8