sdiehl

wasm

Haskell compiler infastructure for WebAssembly

tinyjit

Haskell JIT

zkp

A framework to execute and verify algorithms using Groth16 zkSNARKs.

zurihac-crypto

Small minimal examples of modern cryptographic techniques in Haskell

schnorr-nizk

Schnorr Protocol for Non-interactive Zero-Knowledge Proofs

haskell-vim-proto

Basic starter config for Vim and Haskell

double-ratchet

Double ratchet algorithm for E2E encryption

aos-signature

Abe-Ohkubo-Suzuki Linkable Ring Signatures

llvm-tutorial-standalone

DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )

cats

Generate commutative diagrams inside of Pandoc with Tikz

oblivious-transfer

Oblivious transfer for multiparty computation

hakyll-bootstrap

Basic Hakyll + Bootstrap site

shamir

Shamir Secret Sharing

haskell-linenoise

Lightweight readline library for Haskell

llvm-pp

A pretty printer for llvm-general-pure. (DEPRECATED: https://github.com/llvm-hs/llvm-hs-pretty/ )

cfrac

Continued fractions for arithmetic

concurrent-timer

Concurrent timer

Write-You-a-Haskell-2

A continuation of Steven Diehl's Write You a Haskell

nanocoin

A minimum viable cryptocurrency

poly

Fast polynomial arithmetic in Haskell

semirings

semirings and *-semirings of types in base/haskell-platform

arithmoi

arithmoi is currently maintained here

bitvec

Bit vectors library for Haskell

clif

A Clifford algebra number type for Haskell

ghc

Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org)

logict

polynomial

Haskell library for manipulating and evaluating polynomials

souffle

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

table-layout

Layout data in grids and pretty tables. Provides a lot of tools to get the cell formatting right (positional alignment, alignment on specific characters and limiting of cell width)..

uniqueid

Splittable Unique Identifier Supply for Haskell