rhi
  • Si è unito il Jun 10, 2020
Repository Attività pubblica Repositories votate Seguiti Seguaci
Ordina
Più recenti Più vecchi In ordine alfabetico In ordine alfabetico inverso Aggiornati di recente Aggiornati tempo fa Più favoriti Meno favoriti Maggior numero di fork Minor numero di fork
gallery
Haskell 0 0

static gallery site generator for niss.website

Aggiornato 2 settimane fa

quox
Idris 0 0

quantitative observational extensional type theory

Aggiornato 3 settimane fa

yummy.cricket
CSS 0 0

yummy.cricket website

Aggiornato 4 settimane fa

hashcons
Haskell 0 0

do not use this, it turns out having this many weak pointers puts too much stress on the garbage collector

Aggiornato 1 mese fa

blog
Haskell 0 0

yet another static site

Aggiornato 3 mesi fa

agda-prelude
Agda 0 0

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

Aggiornato 3 mesi fa

lang
Haskell 0 0

conlang website

Aggiornato 4 mesi fa

ips
Haskell 0 0

applies ips patches. remember those?

Aggiornato 5 mesi fa

filemanip
Haskell 0 0

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

Aggiornato 6 mesi fa

aoc2020
OCaml 0 0

advent of code 2020

Aggiornato 10 mesi fa

svg-builder
Haskell 0 0

forked from https://github.com/diagrams/svg-builder

Aggiornato 12 mesi fa

beluga.vim
Vim script 0 0

vim syntax highlighting for beluga

Aggiornato 1 anno fa