Idris 0 0

quantitative observational extensional type theory

Updated 9 hours ago

basic test framework for idris 2

Updated 9 hours ago

Haskell 0 0

static gallery site generator for niss.website

Updated 1 day ago

yummy.cricket website

Updated 3 days ago

Vim script 0 0

vim syntax highlighting for beluga

Updated 1 month ago

Haskell 0 0

yet another static site

Updated 1 month ago

Raku 0 0

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

Vim script 0 0

fork of https://github.com/edwinb/idris2-vim

Updated 4 months ago

Haskell 0 0

conlang website

Updated 5 months ago

forked from https://github.com/diagrams/svg-builder

Updated 5 months ago

Vim script 0 0

maude syntax highlighting for vim [incomplete]

Updated 5 months ago

Vim script 0 0

vim syntax highlighting for bqn

Updated 5 months ago

yea

Updated 7 months ago

Makefile 0 0

input method for bqn

Updated 7 months ago

Haskell 0 0

applies ips patches. remember those?

Updated 8 months ago

Haskell 0 0

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

Haskell 0 0

fork of https://github.com/bos/filemanip that can look thru symlinks

Updated 1 year ago