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

aoc2020

OCaml 0 0

advent of code 2020

Updated 3 years ago

filemanip

Haskell 0 0

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

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

ips

Haskell 0 0

applies ips patches. remember those?

Updated 2 years ago

aoc2021-bqn

0 0

yea

Updated 2 years ago

bqn-vim

Vim script 0 0

vim syntax highlighting for bqn

Updated 2 years ago

maude-vim

Vim script 0 0

maude syntax highlighting for vim [incomplete]

Updated 2 years ago

svg-builder

Haskell 0 0

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

Updated 2 years ago

idris2-elab-util

Idris 0 0

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

Updated 2 years ago

idris2-sop

Idris 0 0

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

Updated 2 years ago

beluga.vim

Vim script 0 0

vim syntax highlighting for beluga

Updated 1 year ago

blog

Haskell 0 0

yet another static site

Updated 1 year ago

ats-vim

Vim script 0 0

fork of https://github.com/vmchale/ats-vim

Updated 1 year ago

aoc2022

Mercury 0 0

in mercury. and bqn again sometimes

Updated 11 months ago