Language: Haskell
Sort by: Most stars
Starred repositories
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
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β¦
The Eta Programming Language, a dialect of Haskell on the JVM
Agda is a dependently typed programming language / interactive theorem prover.
Fast, portable and reliable dependency analysis for any codebase. Supports license & vulnerability scanning for large monoliths. Language-agnostic; integrates with 20+ build systems.
Bundle of all core development tools 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