ShellCheck, a static analysis tool for shell scripts

REST API for any Postgres database

A strongly-typed language that compiles to JavaScript

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.

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

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

A Dependently Typed Functional Programming Language

The Eta Programming Language, a dialect of Haskell on the JVM

Haskell to JavaScript compiler, based on GHC

🍜 A tasty Haskell web framework

Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

lamdu - towards the next generation IDE

Informative git prompt for zsh

The Plutus language implementation and tools

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

elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide

Emanate a structured view of your plain-text notes

The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT)

Main source code repository of the Tamarin prover for security protocol verification.

Compiler for the Gren programming language

Interactive development tool that makes it easy to develop and debug Elm programs.

A functional language for the working hacker

A small strongly typed language that compiles to Erlang (not JavaScript)

An experimental grammar fuzzer in Haskell using QuickCheck

A REPL for Elm

Automatically derive Elm functions to query servant webservices

Code and materials for my book "Pragmatic Type Level Design"

Quake 3 map viewer in Haskell using LambdaCube 3D