PeepNSheep

Pinned Repositories

helix
A post-modern modal text editor.
Language:Rust34.5k 191 4.7k2.6k
OpenLogic
An open-source, customizable intermediate logic textbook
Language:TeX1.1k 98 170246
helix
A post-modern modal text editor.
Language:Rust00
OpenLogic
An open-source, customizable intermediate logic textbook
Language:TeX00

PeepNSheep's Repositories

PeepNSheep/helix
A post-modern modal text editor.
Language:Rust00
PeepNSheep/OpenLogic
An open-source, customizable intermediate logic textbook
Language:TeX00