A strongly-typed language that compiles to JavaScript

A modern proof language

The engine for haskell ide-integration. Not an IDE

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

Deep Learning in Haskell

Haskell game engine library for roguelike dungeon crawlers; please offer feedback, e.g., after trying out the sample game with the web frontend at

Work in progress. Best alternative: https://matrix.org/docs/spec/appendices.html#canonical-json

cat, but for colors 😼

Simple plotting tool for the terminal

Production Performance Telemetry