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

Search

svg-builder

Haskell 0 0

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

Updated 2 years ago

maude-vim

Vim script 0 0

maude syntax highlighting for vim [incomplete]

Updated 2 years ago

bqn-vim

Vim script 0 0

vim syntax highlighting for bqn

Updated 2 years ago

aoc2021-bqn

0 0

yea

Updated 2 years ago

ips

Haskell 0 0

applies ips patches. remember those?

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

agda-prelude

Agda 0 0

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

Updated 2 years ago

filemanip

Haskell 0 0

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

Updated 3 years ago

aoc2020

OCaml 0 0

advent of code 2020

Updated 3 years ago