ShellCheck, a static analysis tool for shell scripts

REST API for any Postgres database

Compiler for Elm, a functional language for reliable webapps.

A friendly programming language from the future

A statically typed lisp, without a GC, for real-time applications.

A Dependently Typed Functional Programming Language

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

Command-line Kanban board/task manager with support for Trello boards and GitHub projects

Easy dependency management for Nix projects

Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote)

A dependently-typed programming language with static memory management

A fast functional language based on two level type theory

A simple expressions language with polymorphic extensible row types.

A toy programming language with time travel

PP - Generic preprocessor (with pandoc in mind) - macros, literate programming, diagrams, scripts...

A typed, polyglot, functional language

Python backend for Idris (generates Python source, not bytecode).

Oczor is a simple statically typed language that compiles to JavaScript, Lua, Ruby and Emacs Lisp

An experiment in controlling the size of a thread pool using a PID controller.

A small, weird and unpractical programming language.

A streaming PostgreSQL logical replication client library for Haskell

Fast pure Haskell implementation of the PostgreSQL wire protocol