ShellCheck, a static analysis tool for shell scripts

Dockerfile linter, validate inline bash, written in Haskell

A strongly-typed language that compiles to JavaScript

Building a modern functional compiler from first principles. (https://dev.stephendiehl.com/fun/)

Haskell to VHDL/Verilog/SystemVerilog compiler

A statically typed concatenative systems programming language.

A visual Haskell

SystemVerilog to Verilog conversion

A bytecode compiler for Python 3

A small strongly typed language that compiles to C++11

A tiny CI server built around GitHub and Nix

A pager for grep

Upload files to GitHub releases.

A Python 3 compiler that anyone can understand.

A two-dimensional parser combinator library.

Robust prettyprinter for output of auto-generated Show instances

A programming tool for the iCE40 FPGA evaluation boards.

A selfhosted tunnel service.