quantitative observational extensional type theory
Updated 9 hours ago
basic test framework for idris 2
Updated 9 hours ago
static gallery site generator for niss.website
Updated 1 day ago
yummy.cricket website
Updated 3 days ago
vim syntax highlighting for beluga
Updated 1 month ago
yet another static site
Updated 1 month ago
misc scripts & junk of varying usefulness
Updated 3 months ago
fork of https://github.com/stefan-hoeck/idris2-sop that uses sirdi
Updated 4 months ago
fork of https://github.com/stefan-hoeck/idris2-elab-util that uses sirdi
Updated 4 months ago
fork of https://github.com/edwinb/idris2-vim
Updated 4 months ago
conlang website
Updated 5 months ago
forked from https://github.com/diagrams/svg-builder
Updated 5 months ago
maude syntax highlighting for vim [incomplete]
Updated 5 months ago
vim syntax highlighting for bqn
Updated 5 months ago
yea
Updated 7 months ago
input method for bqn
Updated 7 months ago
applies ips patches. remember those?
Updated 8 months ago
do not use this, it turns out having this many weak pointers puts too much stress on the garbage collector
Updated 12 months ago
not that one, another one. just some reexports from the stdlib
Updated 1 year ago
fork of https://github.com/bos/filemanip that can look thru symlinks
Updated 1 year ago