#
Starred repositories
17
results
for source starred repositories
written in Haskell
Clear filter
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
Agda is a dependently typed programming language / interactive theorem prover.
The Eta Programming Language, a dialect of Haskell on the JVM
Fast, portable and reliable dependency analysis for any codebase. Supports license & vulnerability scanning for large monoliths. Language-agnostic; integrates with 20+ build systems.
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