Luke's starred repositories
interpreter
A toy interpreter - hobby project related to delving more into mechanics of language and compiler design.
lean-riemann-hypothesis
Riemann Hypothesis in Lean
celestiaql
A lightweight GraphQL server for querying Celestia messages
awesome-zk
A curated list of awesome ZK resources, libraries, tools and more.
stablesims
StableSims is an open-source project aimed at simulating MakerDAO's Dai stablecoin system, initially used for researching optimal incentive parameters for Liquidations 2.0.
dkg-substrate
Multy-party threshold ECDSA (GG20) Substrate node
protocol-solidity
Cross chain shielded pool infrastructure / protocols.
protocol-substrate
Webb protocol implementation in Substrate.
awesome-cryptography-rust
Collect libraries and packages about cryptography in Rust.
dusk-zerocaf
Zerocaf: A library built for EC operations in Zero Knowledge.