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 modern proof language

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…

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

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

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

Bundle of all core development tools for Elm

.gitignore for Dropbox

A REPL for Elm

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