rhi - gec git gec git

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

aoc2020

OCaml 0 0

advent of code 2020

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

aoc2021-bqn

0 0

yea

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

aoc2022

Mercury 0 0

in mercury. and bqn again sometimes

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

aoc2023

Prolog 0 0

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

ats-vim

Vim script 0 0

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

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

beluga.vim

Vim script 0 0

vim syntax highlighting for beluga

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

blog

Haskell 0 0

yet another static site

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

bqn-ibus

Makefile 0 0

input method for bqn

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

bqn-vim

Vim script 0 0

vim syntax highlighting for bqn

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

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

gallery

Haskell 0 0

static gallery site generator for niss.website

Updated 2023-08-06 00:50:11 -04:00

idris2-tap

Idris 0 0

basic test framework for idris 2

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

idris2-vim

Vim script 0 0

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

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

ips

Haskell 0 0

applies ips patches. remember those?

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