The Zap programming language compiler

Advent of Code 2024

Advent of Code

Hypertypes - generic programming for heterogeneous recursive types

Active health checks and monitoring of Nginx upstreams

An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.

Turn Haskell expressions into pointfree style in your browser with WASM

Flake template for Haskell repository

Extism Haskell Host SDK - easily run WebAssembly modules / plugins from Haskell applications

Repository of the Haskell Blog

Command-line tool to list Hackage reverse dependencies

Turnstyle is a graphical esoteric programming language based on lambda calculus

Variants and EADTs for Haskell

Automatically generate Haskell bindings from C header files

A special-purpose processor for pure, non-strict functional languages

RocksDB Haskell Bindings

Use MonadUnliftIO on servant APIs

Production ready, modern web-application starter template using haskell and htmx

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

🦥 Supercharge your Haskell experience in neovim!

Type level string parser combinators

Byte-level byte pair encoding (BPE) in Haskell

Compose Haskell functions to reach one type from another

Haskell library for hardware description

wander - the Wasm Renderer

A gatekeeper for your commits