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

static gallery site generator for niss.website

Atjaunināts pirms 2 nedēļām

Idris 0 0

quantitative observational extensional type theory

Atjaunināts pirms 3 nedēļām

yummy.cricket website

Atjaunināts pirms 4 nedēļām

Haskell 0 0

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

Atjaunināts pirms 1 mēnesi

Haskell 0 0

yet another static site

Atjaunināts pirms 3 mēnešiem

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

Atjaunināts pirms 3 mēnešiem

Haskell 0 0

conlang website

Atjaunināts pirms 4 mēnešiem

Haskell 0 0

applies ips patches. remember those?

Atjaunināts pirms 5 mēnešiem

Haskell 0 0

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

Atjaunināts pirms 6 mēnešiem

OCaml 0 0

advent of code 2020

Atjaunināts pirms 10 mēnešiem

Haskell 0 0

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

Atjaunināts pirms 12 mēnešiem

Vim script 0 0

vim syntax highlighting for beluga

Atjaunināts pirms 1 gada