This is your work, valued

Scott Kovach

Advanced
@kovach

etch. Lean

17

condition. Haskell

1

web2. Haskell

1

hive. JavaScript

1

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

1

piksi-console. JavaScript

1

jive. Haskell

1

sudoku. Rust

1

krivine. Haskell

1

lean4-sparse-matrix-test. Lean

1

noise. 362

1

ant. a dynamic game description language

1