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

Haskell code prettifier

Haskell to JavaScript compiler, based on GHC

DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc

Minimal implementations for dependent type checking and elaboration

Resource gathering + programming game

Extend GHC's type checker with user-defined rules, without writing a type checker plugin.