rhi
  • Inscreveu-se em Jun 10, 2020
blog
Haskell 0 0

yet another static site

Atualizado 1 semana atrás

quox
Idris 0 0

quantitative observational extensional type theory

Atualizado 1 semana atrás

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

Atualizado 3 semanas atrás

lang
Haskell 0 0

conlang website

Atualizado 1 mês atrás

gallery
Haskell 0 0

static gallery site generator for niss.website

Atualizado 1 mês atrás

yummy.cricket website

Atualizado 1 mês atrás

ips
Haskell 0 0

applies ips patches. remember those?

Atualizado 2 meses atrás

filemanip
Haskell 0 0

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

Atualizado 3 meses atrás

hashcons
Haskell 0 0

Atualizado 7 meses atrás

aoc2020
OCaml 0 0

advent of code 2020

Atualizado 7 meses atrás

svg-builder
Haskell 0 0

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

Atualizado 9 meses atrás

beluga.vim
Vim script 0 0

vim syntax highlighting for beluga

Atualizado 1 ano atrás