Fast equality saturation in Haskell

💻 A fully functional local AWS cloud stack. Develop and test your cloud & Serverless apps offline

Like `sort | uniq -c | sort -rn` but better

Optimizing inference proxy for LLMs

https://conf.researchr.org/details/icfp-splash-2025/icfp-splash-2025-tutorials/5/A-guided-tour-through-Oxidized-OCaml

SATyros, small SAT/SMT sovler library for step-by-step solving

The Outside-In paper from ICFP 2009 and (subsequently) JFP

WASM builds of the Z3 SMT solver

A list of benchmark suites used in the research related to compilers, program performance, scientific computations etc.

A Primitive Compiler from λ-calculus + α based on CBPV

Web Awesome ("Shoelace 3") has been released! Get it here 👇👇👇

Generator of runtime monitors for flight and robotics applications.

Unified developer tools for JavaScript, TypeScript, and the web

Selected Papers of Dana S. Scott

A data-driven micro web framework for Haskell

Support functions to work with GHC's Type.Reflection, including pretty-printing.

PLDB: a Programming Language DataBase

📊 Haskell dependencies build times profiler

a throwaway implementation of normalization by evaluation

A Lambda expression compiler targeting web assembly.

A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]

Tie allows generation of Haskell server stubs from OpenAPI (v 3.x) specifications.

High-velocity, monorepo-scale workflow for Git

TimeMap instance for Civilian Harm in Ukraine

Programming Language Theory λΠ

Standard library for linear types in Haskell.

A massively parallel, optimal functional runtime in Rust