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.
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
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.
A Direct-to-Driver open mobility platform powering the next-generation of mobility applications in India.
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