Pinned Loading

1. agda-stuff agda-stuff Public

   My Agda blog/lab/playground

   Agda 12 1

2. the1lab/1lab the1lab/1lab Public

   A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

   Agda 411 87

3. glam glam Public

   Polymorphic guarded λ-calculus

   Haskell 23

4. muri muri Public

   A theorem prover for intuitionistic propositional logic

   Haskell 10 1

5. aoc aoc Public

   Advent of Code solutions in Haskell

   Haskell 6

6. jq-optics jq-optics Public

   👓 A toy jq implementation using optics

   Haskell 5