Haskell implemented with combinators

Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView

A "noDSL" approach to mixing shell scripting with Haskell programs using Template Haskell

Constraint Handling Rules

Functional choreographic programming in Haskell

Easy, repeatable testing of CLI programs/commands

Embeddable Lambda Prolog Interpreter

PostgreSQL Workload Analyzer

The lightweight, user-friendly, distributed relational database built on SQLite.

Koka language compiler and interpreter

</> htmx - high power tools for HTML

The Flix Programming Language

A massively parallel, optimal functional runtime in Rust

Fast parsing from bytestrings

An open source Prolog interpreter in JavaScript

Programming Language Theory λΠ

Source code error pretty printing

agda-mode for neovim

Copy of the CCHR Constraint Handling Rules implementation in C

Invertible parsing for S-expressions

The symbolic execution engine powering the K Framework

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

A reference library for constraint-solving with propagators and CDCL.

An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.

Type-safe and extensible metrics monad over ekg

A static, type inferred and embeddable language written in Rust.

Visualize live Haskell data structures in GHCi

library curation for building Haskell services

libraries for chez scheme productivity