kderme Goto Github PK

a-star

a-star-prolog

async-queue

beam

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

big-data

bitcoinp2p

cardano-db-sync

A component that follows the Cardano chain and stores blocks and transactions in PostgreSQL

cardano-entropy

cardano-ledger-specs

A formal specification and executable model of the ledger rules introduced by the Shelley release

cardano-node

The core component that is used to participate in a Cardano decentralised blockchain.

cardano-sl

Cryptographic currency implementing Ouroboros PoS protocol

cardano-updates

clouds-in-paxos

Implementation of Paxos using Cloud-Haskell

compiler

A compiler for a pascal like language called pcl

criterion

crypto

direct-sqlite

distributed-hash-table

distributed-simulator

A general framework for simulating and debugging distributed protocols, that use Message Passing only.

drizzle-spark

Drizzle integration with Apache Spark

filelock

Portable interface to file locking

ghcide

A library for building Haskell IDE tooling

graphviz

Haskell bindings to the Graphviz toolkit

gsoc

haskell-language-server

Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.

haskell-pl2-ntua

My solution for haskell problems of the cource Programming Languages 2, at National University of Athens

hs-ed25519

Minimal ed25519 Haskell package, binding to the ref10 SUPERCOP implementation.

hs-rqlite

An unofficial Haskell client for RQlite

jaydio

A Java library to perform direct I/O in Linux, bypassing file page cache.

kaleidoscope

Haskell LLVM JIT Compiler Tutorial