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

yummy.cricket

CSS 0 0

yummy.cricket website

Updated 2 days ago

ips

Haskell 0 0

applies ips patches. remember those?

Updated 2 days ago

gallery

Haskell 0 0

static gallery site generator for niss.website

Updated 4 days ago

quox

Idris 0 0

quantitative observational extensional type theory

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

blog

Haskell 0 0

yet another static site

Updated 4 months ago

agda-prelude

Agda 0 0

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

Updated 5 months ago

lang

Haskell 0 0

conlang website

Updated 6 months ago

filemanip

Haskell 0 0

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

Updated 8 months ago

aoc2020

OCaml 0 0

advent of code 2020

Updated 1 year ago

svg-builder

Haskell 0 0

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

Updated 1 year ago

beluga.vim

Vim script 0 0

vim syntax highlighting for beluga

Updated 1 year ago