Fast, Declarative, Reproducible, and Composable Developer Environments

Runtime Haskell interpreter

Debug Adapter Protocol (DAP) implementation for SWI-Prolog

Simple setup for deploying Haskell to Amazon Lambda

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

INTERCEPT GHCJS CCALL DISPATCH TO EMSCRIPTEN

stan2tfp is a lightweight interface to the TensorFlow Probability backend of the Stan compiler. It provides the necessary objects and functions to compile a Stan program and fit the model to data u…

Firmware for Anne Pro Keyboard written in Rust

Build terminal applications using functional reactive programming (FRP) with Reflex FRP.

Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH

SWI-Prolog OpenAPI (Swagger) support

A collection of TLA⁺ specifications of varying complexities

Mesos bindings for Haskell

IDA Haskell bindings