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
filemanip
Haskell 0 0

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

Updated 6 months ago

lang
Haskell 0 0

conlang website

Updated 4 months ago

ips
Haskell 0 0

applies ips patches. remember those?

Updated 5 months ago

aoc2020
OCaml 0 0

advent of code 2020

Updated 10 months ago

svg-builder
Haskell 0 0

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

Updated 12 months ago

beluga.vim
Vim script 0 0

vim syntax highlighting for beluga

Updated 1 year ago

agda-prelude
Agda 0 0

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

Updated 3 months ago

blog
Haskell 0 0

yet another static site

Updated 3 months 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 month ago

yummy.cricket
CSS 0 0

yummy.cricket website

Updated 4 weeks ago

quox
Idris 0 0

quantitative observational extensional type theory

Updated 3 weeks ago

gallery
Haskell 0 0

static gallery site generator for niss.website

Updated 2 weeks ago