cole-k/Penrose-Tiling

Stars
4
Rank 3,304,323 (Top 66 %)
Language Processing
License
MIT License
Created over 8 years ago
Updated over 8 years ago

cole-k/Penrose-Tiling

cole-k

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Penrose Tiling Generator

call-by-push-block

⛳ Sokoban game in 10 lines of Haskell

turksort

👥 Sorting powered by human intelligence

cc-lemma

Refreshing automation for inductive equational proofs using e-graphs

osu-kb

⌨️ 2-key osu! keyboard for ATtiny85

syntax-cls

Classfile for writing syntax papers (and general linguistic papers)