ShellCheck, a static analysis tool for shell scripts

REST API for any Postgres database

A modern proof language

A Dependently Typed Functional Programming Language

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

💥💻💥 A data-parallel functional programming language

Bluespec Compiler (BSC)

A formatter for Haskell source code

Minimal implementations for dependent type checking and elaboration

Functional programming with fewer indirections

🚧 a work in progress effect system for Haskell 🚧

a challenge for Haskell beginners

An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .

Fast parsing from bytestrings

Cap'n Proto for Haskell

Competitive programming utilities in Haskell

A Whitespace-Based Dependently Typed Functional Programming Language

DerivingVia for OpenAPI 3