Parsing, analyzing, and comparing source code across many languages

A friendly programming language from the future

A modern proof language

A programming language with static memory management based on λ-calculus

Interactively browse dependency graphs of Nix derivations.

🌀 Safe, performant, user-friendly and lightweight Haskell standard library

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

Retrie is a powerful, easy-to-use codemodding tool for Haskell.

FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA softcore for running lazy functional programs, including har…

Nix backend for PureScript. Transpile PureScript code to Nix.

An experimental proof assistant based on a type theory for synthetic ∞-categories.

Become a conflict resolution hero

A re-implementation of weeder using HIE files

REST'ful web framework in Agda

refine properties for testing Haskell programs

🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo

Advent of Code complete solution archive and common library

Fine-grained Haskell builds with Nix's dynamic derivations

A Gallina compiler with C++17 as an intermediate representation

Jump to definition for third party haskell libraries

Mutation analysis library for haskell

A Haskell TUI for Harvest.