Scott Kovach

etch. Lean

condition. Haskell

web2. Haskell

hive. JavaScript

lean-start. some exercises for Lean, oriented toward https://github.com/kovach/etch/

piksi-console. JavaScript

jive. Haskell

sudoku. Rust

krivine. Haskell

lean4-sparse-matrix-test. Lean

noise. 362

ant. a dynamic game description language