Universal markup converter

ShellCheck, a static analysis tool for shell scripts

Parsing, analyzing, and comparing source code across many languages

A strongly-typed language that compiles to JavaScript

A statically typed lisp, without a GC, for real-time applications.

A Dependently Typed Functional Programming Language

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…

🍜 A tasty Haskell web framework

Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

lamdu - towards the next generation IDE

Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)

A declarative Unix terminal UI library written in Haskell

Haskell bindings for TensorFlow

Miscellaneous articles. The readme is the table of contents.

Educational computer programming environment using Haskell

Cryptol: The Language of Cryptography

Tensors and neural networks in Haskell

Industrial-strength monadic parser combinator library

Project: M36 Relational Algebra Engine

A monadic parser combinator library

The Daml smart contract language

Functional programming with fewer indirections

Crucible is a library for symbolic simulation of imperative programs

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

A fast, flexible, fused effect system for 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

The Software Analysis Workbench

Domain-Specific Languages of Mathematics

Generically derive traversals, lenses, and prisms.

A sensible starting Prelude template.