Pinned Loading

1. cubical-experiments cubical-experiments Public

   Experiments with Cubical Agda

   Agda 5 1

2. the1lab/1lab the1lab/1lab Public

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

   Agda 334 63

3. glam glam Public

   The guarded λ-calculus

   Haskell 10

4. muri muri Public

   A theorem prover for intuitionistic propositional logic

   Haskell 7 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 2