REST API for any Postgres database

Dockerfile linter, validate inline bash, written in Haskell

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

An advanced keyboard manager

A modern proof language

🇪🇺 Wire back-end services

A wiki using HAppS, pandoc, and git

C to Rust translator

A multilingual package manager for Arch Linux and the AUR.

Haskell library for building declarative animations based on SVG graphics

A feature-rich Unix terminal client for the Mattermost chat system

A notification daemon/center for linux

A programming language with static memory management based on λ-calculus

Command-line benchmark tool

A wayland compositor based on ideas from and inspired by xmonad

Deprecated; see https://github.com/unused-code/unused

Functional programming with fewer indirections

a small .pdf management tool with a command-line UI

Haskell implemented with combinators

An easy to use, cross platform, GUI library for writing Haskell applications.

The video editor built for screencasters

A fast functional language based on two level type theory

Nix backend for PureScript. Transpile PureScript code to Nix.

Manage your NixOS packages and configuration via a simple, intuitive UI

My slides and compilation of resources.

A ML-family Language Compiled to Lua

A terminal based mail user agent based on notmuch

Challenges from Category Theory for Programmers

The Helium compiler, Helium-as-a-library, and the texthint interpreter

UI experiments for coda