Pinned Loading

1. cubical-experiments cubical-experiments Public

   Experiments with Cubical Agda

   Agda 10 1

2. the1lab/1lab the1lab/1lab Public

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

   Agda 366 71

3. glam glam Public

   Polymorphic guarded λ-calculus

   Haskell 13

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 3