Functional Programming Course

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…

Ethereum smart contract fuzzer

Dapp, Seth, Hevm, and more

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

Easy dependency management for Nix projects

Command-line Kanban board/task manager with support for Trello boards and GitHub projects

A declarative Unix terminal UI library written in Haskell

The official formatter for Nix code

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

Command line client for Nix binary cache hosting:

Interactively browse dependency graphs of Nix derivations.

High performance, concurrent functional programming abstractions

Command-line benchmark tool

Crucible is a library for symbolic simulation of imperative programs

Algebraic graphs

Updating nixpkgs packages since 2018

Open source binary analysis tools.

Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree!

The LLVM LHC Haskell Optimization System

Linter for the Nix expression language

A terminal based mail user agent based on notmuch

Fragment-based code distribution!

https://hercules-ci.com build and deployment agent

Yet another Haskell build system.

Haskell implementation of the Nix store

Automatic code formatter for the Nix programming language

Stratified synthesis for learning machine code instruction semantics

The elf-edit library provides a datatype suitable for reading and writing Elf files.

A set of tools for visualizing and inspecting LLVM bitcode modules