Explore - gec git gec git

rhi / gallery

Haskell 0 0

static gallery site generator for niss.website

Updated 2024-07-19 13:19:38 -04:00

rhi / quox

Idris 0 0

quantitative extensional type theory

Updated 2024-07-18 11:59:09 -04:00

rhi / patuni

Haskell 0 0

"A tutorial implementation of dynamic pattern unification", modernised

Updated 2024-06-23 12:06:03 -04:00

rhi / lang

Haskell 0 0

conlang website

Updated 2024-06-02 22:07:16 -04:00

rhi / svg-builder

Haskell 0 0

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

Updated 2024-05-16 16:08:56 -04:00

rhi / quox-vim

Vim Script 0 0

vim syntax highlighting for quox

Updated 2024-05-16 16:05:21 -04:00

rhi / yummy.cricket

CSS 0 0

yummy.cricket website

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

rhi / misc

Raku 0 0

misc scripts & junk of varying usefulness

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

rhi / blog

Haskell 0 0

yet another static site

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

rhi / aoc2023

Prolog 0 0

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

rhi / idris2-vim

Vim script 0 0

fork of https://github.com/edwinb/idris2-vim

Updated 2023-11-05 06:10:51 -05:00

rhi / idris2-tap

Idris 0 0

basic test framework for idris 2

Updated 2023-09-23 11:39:21 -04:00

rhi / qflow3r

Python 0 0

messing with the badge thing from cccamp 2023

Updated 2023-08-19 07:19:29 -04:00

rhi / bqn-ibus

Makefile 0 0

input method for bqn

Updated 2022-12-28 14:17:15 -05:00

rhi / aoc2022

Mercury 0 0

in mercury. and bqn again sometimes

Updated 2022-12-21 18:16:30 -05:00

rhi / ats-vim

Vim script 0 0

fork of https://github.com/vmchale/ats-vim

Updated 2022-10-06 11:30:54 -04:00

rhi / beluga.vim

Vim script 0 0

vim syntax highlighting for beluga

Updated 2022-07-15 08:56:37 -04:00

rhi / maude-vim

Vim script 0 0

maude syntax highlighting for vim [incomplete]

Updated 2022-03-22 23:46:25 -04:00

rhi / bqn-vim

Vim script 0 0

vim syntax highlighting for bqn

Updated 2022-03-15 10:38:57 -04:00

rhi / aoc2021-bqn

0 0

yea

Updated 2022-01-25 16:55:51 -05:00

1 2