Lists (2)
Starred repositories
279
stars
written in Haskell
Clear filter
ShellCheck, a static analysis tool for shell scripts
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
Parsing, analyzing, and comparing source code across many languages
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.
🔥 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
A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.
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…
The core component that is used to participate in a Cardano decentralised blockchain.
Official Haskell IDE support via the language server protocol (LSP)
A static website compiler library in Haskell
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
Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!
DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc
Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)
Official upstream development repository for Cabal and cabal-install
The Plutus language implementation and tools