rhi

• Joined on Jun 10, 2020

Repositories Public Activity Starred Repositories Following Followers

Sort

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

Search

aoc2022

Mercury 0 0

in mercury. and bqn again sometimes

Updated 1 month ago

ats-vim

Vim script 0 0

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

Updated 4 months ago

idris2-tap

Idris 0 0

basic test framework for idris 2

Updated 6 months ago

misc

Raku 0 0

misc scripts & junk of varying usefulness

Updated 9 months ago

idris2-sop

Idris 0 0

fork of https://github.com/stefan-hoeck/idris2-sop that uses sirdi

Updated 9 months ago

idris2-elab-util

Idris 0 0

fork of https://github.com/stefan-hoeck/idris2-elab-util that uses sirdi

Updated 9 months ago

maude-vim

Vim script 0 0

maude syntax highlighting for vim [incomplete]

Updated 11 months ago

aoc2021-bqn

0 0

yea

Updated 1 year ago

bqn-vim

Vim script 0 0

vim syntax highlighting for bqn

Updated 11 months ago

bqn-ibus

Makefile 0 0

input method for bqn

Updated 1 month ago

idris2-vim

Vim script 0 0

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

Updated 10 months ago

blog

Haskell 0 0

yet another static site

Updated 5 months ago

agda-prelude

Agda 0 0

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

Updated 2 years ago

quox

Idris 0 0

quantitative observational extensional type theory

Updated 1 week ago

lang

Haskell 0 0

conlang website

Updated 10 months ago