Stars
ShellCheck, a static analysis tool for shell scripts
Dockerfile linter, validate inline bash, written in Haskell
A strongly-typed language that compiles to JavaScript
Compiler for Elm, a functional language for reliable webapps.
A statically typed lisp, without a GC, for real-time applications.
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.
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…
A shell script which checks your $HOME for unwanted files and directories.
The core component that is used to participate in a Cardano decentralised blockchain.
Official Haskell IDE support via the language server protocol (LSP)
Agda is a dependently typed programming language / interactive theorem prover.
The Plutus language implementation and tools
This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the nat…
👩🏫 👨🏫 Learn Haskell basics in 4 pull requests
A comprehensive Amazon Web Services SDK for Haskell.
A component that follows the Cardano chain and stores blocks and transactions in PostgreSQL
Specifications of network protocols and implementations of components running these protocols which support a family of Ouroboros Consesus protocols; the diffusion layer of the Cardano Node.
The ledger implementation and specifications of the Cardano blockchain.
💻 Exercises for the Haskell Beginners 2022 course