Starred repositories
488
stars
written in Haskell
Clear filter
Parsing, analyzing, and comparing source code across many languages
A strongly-typed language that compiles to JavaScript
A statically typed lisp, without a GC, for real-time applications.
A Haskell library that simplifies access to remote data, such as databases or web-based services.
Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.
Cryptographic currency implementing Ouroboros PoS protocol
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
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…
The core component that is used to participate in a Cardano decentralised blockchain.
A static website compiler library in Haskell
Agda is a dependently typed programming language / interactive theorem prover.
A RESTful Haskell web framework built on WAI.
Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python
💥💻💥 A data-parallel functional programming language
The Eta Programming Language, a dialect of Haskell on the JVM
The engine for haskell ide-integration. Not an IDE