Achievements

Achievements

Highlights

• Pro

Pinned Loading

1. cc-lemma cc-lemma Public

   Refreshing automation for inductive equational proofs using e-graphs

   Rust 28 5

2. call-by-push-block call-by-push-block Public

   ⛳ Sokoban game in 10 lines of Haskell

   Haskell 27

3. turksort turksort Public

   👥 Sorting powered by human intelligence

   TeX 18

4. factor-hmc/foogle factor-hmc/foogle Public

   Hoogle for Factor

   Haskell

5. kwshi/slick kwshi/slick Public

   (toy) typed functional programming language

   OCaml 1 1

6. osu-kb osu-kb Public

   ⌨️ 2-key osu! keyboard for ATtiny85

   C++ 10 1