Starred repositories
75
stars
written in Haskell
Clear filter
A strongly-typed language that compiles to JavaScript
A Haskell library that simplifies access to remote data, such as databases or web-based services.
Cryptographic currency implementing Ouroboros PoS protocol
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
A Dependently Typed Functional Programming Language
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…
Agda is a dependently typed programming language / interactive theorem prover.
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!
Official upstream development repository for Cabal and cabal-install
Haskell 101 and 102: slides and codelabs
The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
Industrial-strength monadic parser combinator library
High performance, streaming and concurrent functional programming abstractions
A stream-based runtime-verification framework for generating hard real-time C code.
Cloud Haskell core libraries
HStreamDB is an open-source, cloud-native streaming database for IoT and beyond. Modernize your data stack for real-time applications.
A fast, flexible, fused effect system for Haskell
The fastest PostgreSQL libpq-based driver for Haskell
A fast Haskell library for parsing ByteStrings
A powerful but simple library for measuring the performance of Haskell code.
In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distinguishing features and detailing them with working code example…