Starred repositories
174
stars
written in Haskell
Clear filter
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 friendly programming language from the future
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
A Haskell library that simplifies access to remote data, such as databases or web-based services.
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
A Dependently Typed Functional Programming Language
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…
Official Haskell IDE support via the language server protocol (LSP)
Agda is a dependently typed programming language / interactive theorem prover.
The engine for haskell ide-integration. Not an IDE
Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens
DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc
Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!
Official upstream development repository for Cabal and cabal-install
Research language for array processing in the Haskell/ML family
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…
Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.
Miscellaneous articles. The readme is the table of contents.