rhi
- Joined on Jun 10, 2020
fork of https://github.com/edwinb/idris2-vim
Updated 4 months ago
applies ips patches. remember those?
Updated 2 years ago
conlang website
Updated 5 months ago
maude syntax highlighting for vim [incomplete]
Updated 2 years ago
misc scripts & junk of varying usefulness
Updated 1 year ago
messing with the badge thing from cccamp 2023
Updated 1 month ago
quantitative extensional type theory
Updated 12 hours ago
forked from https://github.com/diagrams/svg-builder
Updated 2 years ago
yummy.cricket website
Updated 9 months ago