Hadas Zeilberger's starred repositories
constantine
Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain protocols.
haskell-DBFunctor
Functional Data Management (Type Safe ETL / ELT in Haskell)
fiat-crypto
Cryptographic Primitive Code Generation by Fiat
haskell-saucy
Super Amazing Universal Composability, Yeah!
scuttlebutt-akka-persistence
A akka persistence backend for scuttlebutt
awesome-zero-knowledge-proofs
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
web3studio-bootleg
The Shared Royalty Non-Fungible Token (a.k.a Bootleg) is an open source project started by the ConsenSys Web3Studio team. The purpose of the Shared Royalty Non-Fungible Token (SRNFT) is to make any royalty business model, from the oil and gas industry to entertainment, easy to manage with the Ethereum blockchain .
serverless-haskell
Deploying Haskell applications to AWS Lambda with Serverless
react-native-sssa
Shamir's secret sharing algorithm for react-native
circom_old
Circuit compiler for zkSNARKs