rhi
  • Pievienojās Jun 10, 2020
blog
Haskell 0 0

yet another static site

Atjaunināts pirms 1 nedēļas

quox
Idris 0 0

quantitative observational extensional type theory

Atjaunināts pirms 1 nedēļas

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

Atjaunināts pirms 3 nedēļām

lang
Haskell 0 0

conlang website

Atjaunināts pirms 1 mēnesi

gallery
Haskell 0 0

static gallery site generator for niss.website

Atjaunināts pirms 1 mēnesi

yummy.cricket website

Atjaunināts pirms 1 mēnesi

ips
Haskell 0 0

applies ips patches. remember those?

Atjaunināts pirms 2 mēnešiem

filemanip
Haskell 0 0

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

Atjaunināts pirms 3 mēnešiem

hashcons
Haskell 0 0

Atjaunināts pirms 7 mēnešiem

aoc2020
OCaml 0 0

advent of code 2020

Atjaunināts pirms 7 mēnešiem

svg-builder
Haskell 0 0

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

Atjaunināts pirms 9 mēnešiem

beluga.vim
Vim script 0 0

vim syntax highlighting for beluga

Atjaunināts pirms 1 gada