rhi
  • Liitytty Jun 10, 2020
quox
Idris 0 0

quantitative observational extensional type theory

Päivitetty 2 päivää sitten

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

Päivitetty 2 viikkoa sitten

lang
Haskell 0 0

conlang website

Päivitetty 1 kuukausi sitten

gallery
Haskell 0 0

static gallery site generator for niss.website

Päivitetty 1 kuukausi sitten

yummy.cricket website

Päivitetty 1 kuukausi sitten

ips
Haskell 0 0

applies ips patches. remember those?

Päivitetty 2 kuukautta sitten

filemanip
Haskell 0 0

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

Päivitetty 3 kuukautta sitten

hashcons
Haskell 0 0

Päivitetty 7 kuukautta sitten

aoc2020
OCaml 0 0

advent of code 2020

Päivitetty 7 kuukautta sitten

svg-builder
Haskell 0 0

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

Päivitetty 8 kuukautta sitten

beluga.vim
Vim script 0 0

vim syntax highlighting for beluga

Päivitetty 1 vuosi sitten