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

idris2-tap

Idris 0 0

basic test framework for idris 2

Updated 2 months ago

misc

Raku 0 0

misc scripts & junk of varying usefulness

Updated 5 months ago

idris2-sop

Idris 0 0

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

Updated 5 months ago

idris2-elab-util

Idris 0 0

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

Updated 5 months ago

maude-vim

Vim script 0 0

maude syntax highlighting for vim [incomplete]

Updated 6 months ago

aoc2021-bqn

0 0

yea

Updated 8 months ago

bqn-vim

Vim script 0 0

vim syntax highlighting for bqn

Updated 7 months ago

bqn-ibus

Makefile 0 0

input method for bqn

Updated 9 months ago

idris2-vim

Vim script 0 0

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

Updated 6 months ago

blog

Haskell 0 0

yet another static site

Updated 2 weeks ago

agda-prelude

Agda 0 0

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

Updated 1 year ago

quox

Idris 0 0

quantitative observational extensional type theory

Updated 4 weeks ago

lang

Haskell 0 0

conlang website

Updated 6 months ago

filemanip

Haskell 0 0

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

Updated 1 year ago

ips

Haskell 0 0

applies ips patches. remember those?

Updated 9 months ago