Stars
ShellCheck, a static analysis tool for shell scripts
Parsing, analyzing, and comparing source code across many languages
A strongly-typed language that compiles to JavaScript
Compiler for Elm, a functional language for reliable webapps.
A friendly programming language from the future
A Haskell library that simplifies access to remote data, such as databases or web-based services.
Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.
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 engine for haskell ide-integration. Not an IDE
DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc
Haskell 101 and 102: slides and codelabs
A proper subset of Haskell that compiles to JavaScript
Educational computer programming environment using Haskell
Bundle of all core development tools for Elm
Extremely modular text editor built in Haskell
Top-level package for the official Snap Framework libraries, includes the snaplets API as well as infrastructure for sessions, auth, and templates.
Type inference and checking for a safer JavaScript.
《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
A formal semantics of the RISC-V ISA in Haskell
Luck -- A Language for Property-Based Generators