rhi

0 Followers · 0 Following

• Joined on 2020-06-10

Repositories

22

Projects Packages Public Activity Starred Repositories

Search

Sort

Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks

aoc2023

Prolog 0 0

Updated 2023-12-19 20:09:28 -05:00

svg-builder

Haskell 0 0

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

Updated 2023-12-23 12:27:18 -05:00

blog

Haskell 0 0

yet another static site

Updated 2023-12-27 19:00:40 -05:00

misc

Raku 0 0

misc scripts & junk of varying usefulness

Updated 2024-01-11 14:33:38 -05:00

yummy.cricket

CSS 0 0

yummy.cricket website

Updated 2024-03-02 12:23:31 -05:00

lang

Haskell 0 0

conlang website

Updated 2024-03-14 19:57:00 -04:00

quox

Idris 0 0

quantitative extensional type theory

Updated 2024-04-18 05:49:23 -04:00