REST API for any Postgres database

Parsing, analyzing, and comparing source code across many languages

A Haskell library that simplifies access to remote data, such as databases or web-based services.

A Dependently Typed Functional Programming Language

🍜 A tasty Haskell web framework

Miscellaneous articles. The readme is the table of contents.

A statically typed concatenative systems programming language.

Project management directly from the TODOs in your codebase

Interactively browse dependency graphs of Nix derivations.

A stream-based runtime-verification framework for generating hard real-time C code.

Another Haskell web framework for rapid development

A fast, flexible, fused effect system for Haskell

Haskell implemented with combinators

🚧 a work in progress effect system for Haskell 🚧

Compiling to Categories

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

A modern syntax for the λ-calculus.

A sensible starting Prelude template.

A bare-bones calculus-of-constructions

Haskell bindings to the SDL2 library

Erlang backend for the PureScript compiler

Haskell Framework for Electronic Music

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

Add ACID guarantees to any serializable Haskell data structure

Runtime Haskell interpreter

A simple library for reporting compiler/interpreter errors

Equational laws for free

A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR

Use snippets of Rust inline in your Haskell programs

Refinement types with static checking