Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.

Deep Learning in Haskell

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

Bridge from Ruby to Haskell

Optimised bilinear pairings over elliptic curves