Dapp, Seth, Hevm, and more

Interactively browse dependency graphs of Nix derivations.

Embedded language for high-performance array computations

A streaming data library

High performance, concurrent functional programming abstractions

A fast, flexible, fused effect system for Haskell

A little course to learn about some of the more obscure GHC extensions.

🚧 a work in progress effect system for Haskell 🚧

Compositional pipelines

A prompt engineering functional programming language

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

Parsing all context-free grammars using Earley's algorithm in Haskell.

Standard library for linear types in Haskell.

Symbolic and concrete EVM execution engine

Examples of Dependently-typed programs in Haskell

Relational programming in Haskell. Mostly developed on twitch.

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

Smart contract specification language

Generate nix sources expr for the latest version of packages

Auto-generate a command-line parser for your datatype

A re-implementation of weeder using HIE files

A haskell library implementing fast and scalable concurrent queues for x86, with a Chan-like API

A program to automatically update fetchgit values in Nix expressions

EulerHS: full-fledged framework for creating web backends

Fast and concise extensible effects

Benchmarks to compare Haskell streaming library performance

Benchmarks for dictionary data structures: hash tables, maps, tries, etc.

Use Template Haskell to embed file contents directly.

Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.

Fast equality saturation in Haskell