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 🚧

A prompt engineering functional programming language

Compositional pipelines

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

Generate nix sources expr for the latest version of packages

Relational programming in Haskell. Mostly developed on twitch.

Smart contract specification language

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

Auto-generate a command-line parser for your datatype

A re-implementation of weeder using HIE files

An optimized general monad transformer for streaming applications, with a simple prelude of functions

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

An either-or-both data type, with corresponding hybrid error/writer monad transformer.

EulerHS: full-fledged framework for creating web backends

Fast and concise effect handlers

Benchmarks to compare Haskell streaming library performance

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

experimental solidity compiler