Fork: The core OCaml system: compilers, runtime system, base libraries

A purely functional programming language with first class types

A lexical analyser generator for Haskell

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

Good-lookin' diffs. Actually… nah… The best-lookin' diffs. 🎉

Successor of ghcide & haskell-ide-engine. One IDE to rule them all.

Low-level networking interface

A framework for distributed systems verification, with fault injection

Black-box transactional safety checker based on cycle detection

Haskell source code suggestions

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

A book about compiling Racket to x86-64 assembly

Formal Reasoning About Programs

The Happy parser generator for Haskell

An analysis tool for Python that blurs the line between testing and type systems.

Official upstream development repository for Cabal and cabal-install

Shell programming, Haskell style

A composable build system for OCaml.

The engine for haskell ide-integration. Not an IDE

Maintainable configuration files

Haskell to VHDL/Verilog/SystemVerilog compiler

Release with confidence, state-of-the-art property testing for Haskell.

Maintainable configuration files

Haskell bindings for LLVM

Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, documenting web applications and more!

GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

Liquid Types For Haskell

Algebraic graphs

An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.