Dockerfile linter, validate inline bash, written in Haskell

Parsing, analyzing, and comparing source code across many languages

A friendly programming language from the future

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

A modern proof language

Koka language compiler and interpreter

DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc

A declarative Unix terminal UI library written in Haskell

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

A statically typed concatenative systems programming language.

Interactively browse dependency graphs of Nix derivations.

A multi-syntax functional programming language that compiles to WebAssembly.

a challenge for Haskell beginners

Defect Process (2d hack n' slash game) full source code

A wayland compositor based on ideas from and inspired by xmonad

A monad for interfacing with external SAT solvers

Interpret Haskell programs into any cartesian closed category.

An attempt to reimagine knowledge interaction.

ES based query DSL example.