Universal markup converter

ShellCheck, a static analysis tool for shell scripts

Parsing, analyzing, and comparing source code across many languages

Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.

A modern proof language

A shell script which checks your $HOME for unwanted files and directories.

Agda is a dependently typed programming language / interactive theorem prover.

Terminal-based presentations using Pandoc

A wiki using HAppS, pandoc, and git

Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.

Squeal, a deep embedding of SQL in Haskell

Unix core utilities implemented in Haskell

Λ ⚬ λ: Functional Lattice Cryptography

The cuteness implementation of a dependently typed language.

Glance over some technical videos

A program to automatically update fetchgit values in Nix expressions

Windows-native Nix evaluator - Haskell for logic, C99 for data. Parser, lazy evaluator, content-addressed store, builder, binary substituter.

A math language for dimensional analysis