ShellCheck, a static analysis tool for shell scripts

Dockerfile linter, validate inline bash, written in Haskell

A strongly-typed language that compiles to JavaScript

A friendly programming language from the future

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

A Dependently Typed Functional Programming Language

Koka language compiler and interpreter

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

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

C to Rust translator

Fast, portable and reliable dependency analysis for any codebase. Supports license & vulnerability scanning for large monoliths. Language-agnostic; integrates with 20+ build systems.

The Egison Programming Language

Command-line benchmark tool

a functional programming language with algebraic effects and handlers

A purely functional programming language based on higher-order polymorphic lambda calculus

Simple Proof assistant for LK Calculus (First-Order logic)

📊 Benchmarks for Haskell TOML decoding and encoding libraries