Ilmari Vacklin

minimal. Minimal color scheme for Vim

jenky. Jenky is a beautiful radiator for your Jenkins CI server.

agda-template. A template for an Agda project with automatic GitHub Pages support

minimal-intellij. A minimal light theme for IntelliJ editors

box. box! is full of boxes

oi-lang. A small programming language

bin. Shell

dawn. CSS

deno-hello-world-heroku. TypeScript

agda-reference-filter. Haskell

scheme48. Haskell

fourmolu. A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!

plan9port. Plan 9 from User Space

obs. Quick setup for OpenTelemetry SDK

lib. Shell