ShellCheck, a static analysis tool for shell scripts

REST API for any Postgres database

A strongly-typed language that compiles to JavaScript

A friendly programming language from the future

Agda is a dependently typed programming language / interactive theorem prover.

The Eta Programming Language, a dialect of Haskell on the JVM

Haskell to JavaScript compiler, based on GHC

C to Rust translator

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

Research language for array processing in the Haskell/ML family

Haskell bindings for TensorFlow

Haskell to VHDL/Verilog/SystemVerilog compiler

Miscellaneous articles. The readme is the table of contents.

Liquid Types For Haskell

Huge list of videos, talks, courses for Haskell programming language.

Parsing and analysis of Vertica, Hive, and Presto SQL.

A programming language with static memory management based on λ-calculus

Haskell IDE

Detexify Backend written in Haskell

A visual Haskell

A DSL for deep neural networks, supporting Caffe and Torch

Release with confidence, state-of-the-art property testing for Haskell.

webfont generator - converts ttf to woff, eot and svg

The Ivory EDSL

Write type-safe GraphQL services in Haskell

Automatic Differentiation

🎮 NES Emulator written in Haskell

A Haskell library for typesafe music composition

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

Sample code to accompany the book "Parallel and Concurrent Programming in Haskell"