rhi
  • Joined on Jun 10, 2020
Repositories Public Activity Starred Repositories Following Followers
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
quox
Idris 0 0

quantitative extensional type theory

Updated 5 days ago

idris2-sop
Idris 0 0

fork of https://github.com/stefan-hoeck/idris2-sop that uses sirdi

Updated 1 year ago

bqn-ibus
Makefile 0 0

input method for bqn

Updated 5 months ago

maude-vim
Vim script 0 0

maude syntax highlighting for vim [incomplete]

Updated 1 year ago

agda-prelude
Agda 0 0

not that one, another one. just some reexports from the stdlib

Updated 2 years ago

misc
Raku 0 0

misc scripts & junk of varying usefulness

Updated 1 year ago

lang
Haskell 0 0

conlang website

Updated 1 month ago

ips
Haskell 0 0

applies ips patches. remember those?

Updated 1 year ago

hashcons
Haskell 0 0

do not use this, it turns out having this many weak pointers puts too much stress on the garbage collector

Updated 2 years ago

idris2-vim
Vim script 0 0

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

Updated 2 weeks ago

gallery
Haskell 0 0

static gallery site generator for niss.website

Updated 3 months ago

idris2-tap
Idris 0 0

basic test framework for idris 2

Updated 3 months ago

yummy.cricket
CSS 0 0

yummy.cricket website

Updated 5 months ago

beluga.vim
Vim script 0 0

vim syntax highlighting for beluga

Updated 11 months ago

bqn-vim
Vim script 0 0

vim syntax highlighting for bqn

Updated 1 year ago