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
aoc2020
OCaml 0 0

advent of code 2020

Updated 2 years ago

filemanip
Haskell 0 0

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

Updated 1 year ago

agda-prelude
Agda 0 0

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

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 1 year ago

ips
Haskell 0 0

applies ips patches. remember those?

Updated 9 months ago

bqn-ibus
Makefile 0 0

input method for bqn

Updated 9 months ago

aoc2021-bqn
0 0

yea

Updated 8 months ago

bqn-vim
Vim script 0 0

vim syntax highlighting for bqn

Updated 7 months ago

maude-vim
Vim script 0 0

maude syntax highlighting for vim [incomplete]

Updated 6 months ago

svg-builder
Haskell 0 0

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

Updated 6 months ago

lang
Haskell 0 0

conlang website

Updated 6 months ago

idris2-vim
Vim script 0 0

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

Updated 6 months ago

idris2-elab-util
Idris 0 0

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

Updated 5 months ago

idris2-sop
Idris 0 0

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

Updated 5 months ago

misc
Raku 0 0

misc scripts & junk of varying usefulness

Updated 5 months ago