Callan McGill

debugged. Haskell

perfect-vector-shuffle. Library for performing shuffles on vectors

agda-pipes. Agda

agda-halting. Agda

Fishy. a study in fish

bytes16. Haskell

unboxed-references. Haskell

algebraic-laws. A Haskell library defining a collection of algebraic laws

cedille-core. Haskell

massiv-example. Haskell

system-F-ml. OCaml

hs-tartlet. Haskell

HoTT-exercises. Coq

beautiful-racket. Racket

agda-peano. Agda

Countdown-Solver. A countdown solver in Haskell based on chapter in Programming in Haskell by Graham Hutton

disco. Functional teaching language for use in a discrete mathematics course