Lists (6)
Stars
ShellCheck, a static analysis tool for shell scripts
Dockerfile linter, validate inline bash, written in Haskell
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
A friendly programming language from the future
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
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…
Official Haskell IDE support via the language server protocol (LSP)
Agda is a dependently typed programming language / interactive theorem prover.
💥💻💥 A data-parallel functional programming language
Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens
Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)
Official upstream development repository for Cabal and cabal-install
Fast, portable and reliable dependency analysis for any codebase. Supports license & vulnerability scanning for large monoliths. Language-agnostic; integrates with 20+ build systems.
High performance, concurrent functional programming abstractions
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
Modern and extensible testing framework for Haskell
Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations