gec git gec git

rhi / patuni

Haskell 0 0

"A tutorial implementation of dynamic pattern unification", modernised

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

rhi / quox-vim

Vim Script 0 0

vim syntax highlighting for quox

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

rhi / aoc2023

Prolog 0 0

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

rhi / qflow3r

Python 0 0

messing with the badge thing from cccamp 2023

Updated 2023-08-19 07:19:29 -04: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 / idris2-tap

Idris 0 0

basic test framework for idris 2

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

rhi / misc

Raku 0 0

misc scripts & junk of varying usefulness

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

rhi / maude-vim

Vim script 0 0

maude syntax highlighting for vim [incomplete]

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

rhi / aoc2021-bqn

0 0

yea

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

rhi / bqn-vim

Vim script 0 0

vim syntax highlighting for bqn

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

rhi / bqn-ibus

Makefile 0 0

input method for bqn

Updated 2022-12-28 14:17:15 -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 / blog

Haskell 0 0

yet another static site

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

rhi / agda-prelude

Agda 0 0

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

Updated 2021-07-09 02:23:39 -04:00

rhi / quox

Idris 0 0

quantitative extensional type theory

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

rhi / lang

Haskell 0 0

conlang website

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

rhi / filemanip

Haskell 0 0

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

Updated 2021-04-17 15:25:37 -04:00

rhi / ips

Haskell 0 0

applies ips patches. remember those?

Updated 2021-12-28 04:26:33 -05:00

rhi / aoc2020

OCaml 0 0

advent of code 2020

Updated 2020-12-07 15:28:42 -05:00