TinyAPL, a tiny APL dialect and interpreter in Haskell

Edit and navigate from anywhere in the buffer

Index buffer locations through character hats

A slide-based tool for fast sketching and animating ideas (powered by Excalidraw)

git mirror of language-c darcs repo at http://code.haskell.org/language-c

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

Haskell/Java interop via inline Java code in Haskell modules.

A type-safe, high-level SQL library for Haskell

A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking.

Docker image with GHC+musl for static executables

Qalculate! GTK+ UI

Eqonomize! Personal accounting (cross-platform)

Qalculate! library and CLI

Haskell web service that redirects all traffic from HTTP to HTTPS

Finite state and Constraint Grammar based analysers and proofing tools + language resources for Lule Sámi

MultiGrid implemented with Repa and Poisson Example

Haskell implementation of traintracks puzzle solver

Haskell Diagrams for Penrose Kite and Dart non-periodic tilings

📉 An FPGA-accelerated high-frequency trading engine.

BNF Converter

View HTTP/HTTPS requests made by any Linux program

A demo Haskell app showing the use of Nix with flake-parts to simplify various dev workflows

Statically linked distributions of GHC for building binaries in Docker.

Haskell FTP client

error notification to rollbar.com

Yet another ORM for haskell