rhi
0 followers · 0 following
  • Joined on 2020-06-10
Repositories
27
 Projects Packages Public activity Starred repositories
Filter
Sort
peerix
Python 0 0
fork of https://github.com/cid-chan/peerix.git
Updated 2024-11-22 21:42:17 -05:00
gallery
Haskell 0 0
static gallery site generator for niss.website
Updated 2024-11-05 08:45:17 -05:00
yummy.cricket
CSS 0 0
yummy.cricket website
Updated 2024-11-03 22:07:49 -05:00
bytebuild
Haskell 0 0
fork of https://github.com/byteverse/bytebuild
Updated 2024-10-22 19:56:11 -04:00
haskell-gnutls
Haskell 0 0
fork of https://git.singpolyma.net/haskell-gnutls
Updated 2024-10-22 18:52:51 -04:00
blog
Haskell 0 0
yet another static site
Updated 2024-09-27 12:13:29 -04:00
lang
Haskell 0 0
conlang website
Updated 2024-09-25 19:39:30 -04:00
rhi/quox
quox
Idris 0 0
quantitative extensional type theory
Updated 2024-07-18 11:59:09 -04:00
patuni
Haskell 0 0
"A tutorial implementation of dynamic pattern unification", modernised
Updated 2024-06-23 12:06:03 -04:00
svg-builder
Haskell 0 0
forked from https://github.com/diagrams/svg-builder
Updated 2024-05-16 16:08:56 -04:00
quox-vim
Vim Script 0 0
vim syntax highlighting for quox
Updated 2024-05-16 16:05:21 -04:00
misc
Raku 0 0
misc scripts & junk of varying usefulness
Updated 2024-01-11 14:33:38 -05:00
aoc2023
Prolog 0 0
Updated 2023-12-19 20:09:28 -05:00
idris2-vim
Vim script 0 0
fork of https://github.com/edwinb/idris2-vim
Updated 2023-11-05 06:10:51 -05:00
idris2-tap
Idris 0 0
basic test framework for idris 2
Updated 2023-09-23 11:39:21 -04:00