Haskell API search engine

Automatic testing of Haskell programs.

Algebraic graphs

Cloud Haskell core libraries

A DSL for deep neural networks, supporting Caffe and Torch

haskell source code formatter

Another Haskell web framework for rapid development

Happy Haskell Hacking for editors. DEPRECATED

hpack: A modern format for Haskell packages

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, parallelism, event handling, transactions, multithreading, Web,…

Slides and other materials for functional programming lectures ITMO university

The Pact Smart Contract Language

A functionally reactive game engine, with headgear to protect you from the headache of game development provided.

Contributed modules for xmonad

The full power of R in Haskell.

Haskell pretty printer

Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

Library for functional reactive programming in Haskell.

A user-centric visual STG implementation to help understand GHC/Haskell's execution model.

A fast Haskell library for parsing ByteStrings

Code and materials for my book "Functional Design and Architecture"

A powerful but simple library for measuring the performance of Haskell code.

Comparing many FRP implementations by reimplementing the same toy app in each.

API for protocol buffers using modern Haskell language and library patterns.

📖 source material for Thinking with Types

Compositional pipelines

Persistence interface for Haskell allowing multiple storage methods.

Functional sed for JSON

Empire strikes back