Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.

A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.

A declarative Unix terminal UI library written in Haskell

Educational computer programming environment using Haskell

Haskell library for building declarative animations based on SVG graphics

Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just …

A stream-based runtime-verification framework for generating hard real-time C code.

Crucible is a library for symbolic simulation of imperative programs

An easy to use, cross platform, GUI library for writing Haskell applications.

A functionally reactive game engine, with headgear to protect you from the headache of game development provided.

Library for functional reactive programming in Haskell.

The SAW scripting language.

Functional Reactive Programming domain-specific language for efficient hybrid systems

Painless 2D vector graphics, animations and simulations.

A formal logic framework that runs in the browser

Open source binary analysis tools.

Embedded domain-specific language for declarative vector graphics (wrapper package)

Implementing Quake 3 in Haskell & Vulkan

A modular game engine and ECS for Haskell

LambdaCube 3D is a Haskell-like purely functional language for GPU. Try it out:

A modular synth and sequencer for live coding music (in) time

Painless 2D vector graphics, animations, and simulations powered by GLFW (Fork of gloss)

A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs

A haskell tutorial using CodeWorld

A DSL for music programming and live coding