REST API for any Postgres database

Cryptographic currency implementing Ouroboros PoS protocol

A Dependently Typed Functional Programming Language

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

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 Eta Programming Language, a dialect of Haskell on the JVM

Haskell to JavaScript compiler, based on GHC

💥💻💥 A data-parallel functional programming language

DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc

The Plutus language implementation and tools

Very low feature GHCi based IDE

Embedded language for high-performance array computations

A type-safe, non-TH Haskell SQL library and ORM

The full power of R in Haskell.

Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

Haskoin Core is a Bitcoin and Bitcoin Cash library

Examples to accompany the book "Haskell in Depth"

Haskell/Java interop via inline Java code in Haskell modules.

Λ ⚬ λ: Functional Lattice Cryptography

The symbolic execution engine powering the K Framework

Web3 API for Haskell

gRPC library binding for Haskell.

Optimised bilinear pairings over elliptic curves

compute interest for hledger accounts

Haskell Application BlockChain Interface (ABCI) Server Library

Interledger Crypto-Conditions in Haskell