Repositories Users Organizations
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
rhi / ips
Haskell 0 0
applies ips patches. remember those?
Updated 2021-12-28 04:26:33 -05:00
rhi / agda-prelude
Agda 0 0
not that one, another one. just some reexports from the stdlib
Updated 2021-07-09 02:23:39 -04:00
rhi / filemanip
Haskell 0 0
fork of https://github.com/bos/filemanip that can look thru symlinks
Updated 2021-04-17 15:25:37 -04:00
rhi / aoc2020
OCaml 0 0
advent of code 2020
Updated 2020-12-07 15:28:42 -05:00