~lobsters | Bookmarks (3)

clear filters

plt × github.com ×

GitHub - boothby/repiet: A compiler for the esoteric language Piet, targeting multiple backends.

github.com

compilers plt
1
GitHub - williamdemeo/TypeFunc: Resources for type theory, functional programming, etc.

github.com

math plt
1
GitHub - kneasle/sapling: A highly experimental vi-inspired editor where you edit code, not text.

github.com

plt
2