A Haskell library that simplifies access to remote data, such as databases or web-based services.

The Haskell Tool Stack

C to Rust translator

A declarative Unix terminal UI library written in Haskell

Haskell to VHDL/Verilog/SystemVerilog compiler

Educational computer programming environment using Haskell

Cryptol: The Language of Cryptography

Haskell library for building declarative animations based on SVG graphics

Bluespec Compiler (BSC)

The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen

A terminal interface for Tetris

Crucible is a library for symbolic simulation of imperative programs

Haskell implemented with combinators

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

GUI framework that uses the web browser as a display.

Painless 2D vector graphics, animations and simulations.

A high-level ncurses alternative written in Haskell

A demo web browser engine written in Haskell

A free and open source breakout clone in Haskell using SDL and FRP, with Wiimote and Kinect support.

Open source binary analysis tools.

An implementation of Pie in Haskell

A library of functions for vector calculus, calculation of electric field, electric flux, magnetic field, and other quantities in mechanics and electromagnetic theory.

Elsa is a lambda calculus evaluator

A collection of tools for processing PDF files in Haskell

Haskell binding to Apple's SpriteKit framework

Play Minesweeper by formally proving your moves in Idris

A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comonads.

Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot.

Template Haskell utilities for Hasql

A secure sandboxed Haskell interpreter for pure function evaluation