cole

cc-lemma. Refreshing automation for inductive equational proofs using e-graphs

call-by-push-block. ⛳ Sokoban game in 10 lines of Haskell

turksort. 👥 Sorting powered by human intelligence

osu-kb. ⌨️ 2-key osu! keyboard for ATtiny85

Penrose-Tiling. Penrose Tiling Generator

extraction-gym. benchmarking e-graph extraction

syntax-cls. Classfile for writing syntax papers (and general linguistic papers)

cyclegg. Cyclic theorem prover for equalitional reasoning using egraphs