仓库 用户 组织
排序
最新创建 最早创建 按字母顺序排序 按字母逆序排序 最近更新 最早更新 点赞由多到少 点赞由少到多 派生由多到少 派生由少到多
rhi/quox
rhi / quox
Idris 0 0
quantitative extensional type theory
最后更新于 2024-04-15 16:58:36 -04:00
rhi / lang
Haskell 0 0
conlang website
最后更新于 2024-03-14 19:57:00 -04:00
rhi / yummy.cricket
CSS 0 0
yummy.cricket website
最后更新于 2024-03-02 12:23:31 -05:00
rhi / misc
Raku 0 0
misc scripts & junk of varying usefulness
最后更新于 2024-01-11 14:33:38 -05:00
rhi / blog
Haskell 0 0
yet another static site
最后更新于 2023-12-27 19:00:40 -05:00
rhi / svg-builder
Haskell 0 0
forked from https://github.com/diagrams/svg-builder
最后更新于 2023-12-23 12:27:18 -05:00
rhi / aoc2023
Prolog 0 0
最后更新于 2023-12-19 20:09:28 -05:00
rhi / idris2-vim
Vim script 0 0
fork of https://github.com/edwinb/idris2-vim
最后更新于 2023-11-05 06:10:51 -05:00
rhi / idris2-tap
Idris 0 0
basic test framework for idris 2
最后更新于 2023-09-23 11:39:21 -04:00
rhi / qflow3r
Python 0 0
messing with the badge thing from cccamp 2023
最后更新于 2023-08-19 07:19:29 -04:00
rhi / gallery
Haskell 0 0
static gallery site generator for niss.website
最后更新于 2023-08-06 00:50:11 -04:00
rhi/bqn-ibus
rhi / bqn-ibus
Makefile 0 0
input method for bqn
最后更新于 2022-12-28 14:17:15 -05:00
rhi / aoc2022
Mercury 0 0
in mercury. and bqn again sometimes
最后更新于 2022-12-21 18:16:30 -05:00
rhi / ats-vim
Vim script 0 0
fork of https://github.com/vmchale/ats-vim
最后更新于 2022-10-06 11:30:54 -04:00
rhi / beluga.vim
Vim script 0 0
vim syntax highlighting for beluga
最后更新于 2022-07-15 08:56:37 -04:00
rhi / maude-vim
Vim script 0 0
maude syntax highlighting for vim [incomplete]
最后更新于 2022-03-22 23:46:25 -04:00
rhi / bqn-vim
Vim script 0 0
vim syntax highlighting for bqn
最后更新于 2022-03-15 10:38:57 -04:00
rhi / aoc2021-bqn
0 0
yea
最后更新于 2022-01-25 16:55:51 -05:00
rhi / ips
Haskell 0 0
applies ips patches. remember those?
最后更新于 2021-12-28 04:26:33 -05:00
rhi / agda-prelude
Agda 0 0
not that one, another one. just some reexports from the stdlib
最后更新于 2021-07-09 02:23:39 -04:00