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 2 years ago

agda-prelude
Agda 0 0

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

Updated 2 years 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 1 year ago

aoc2021-bqn
0 0

yea

Updated 1 year ago

bqn-vim
Vim script 0 0

vim syntax highlighting for bqn

Updated 11 months ago

maude-vim
Vim script 0 0

maude syntax highlighting for vim [incomplete]

Updated 11 months ago

svg-builder
Haskell 0 0

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

Updated 10 months ago

lang
Haskell 0 0

conlang website

Updated 10 months ago

idris2-vim
Vim script 0 0

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

Updated 10 months ago

idris2-elab-util
Idris 0 0

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

Updated 9 months ago

idris2-sop
Idris 0 0

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

Updated 9 months ago

misc
Raku 0 0

misc scripts & junk of varying usefulness

Updated 9 months ago

beluga.vim
Vim script 0 0

vim syntax highlighting for beluga

Updated 7 months ago