Name: François Garillot
Type: User
Company: 4DE3 AD16 FA0A 584B 3C8D C054 3ACB 4CB1 5EA2 FFD6
Bio: Dabbling with streams & distributed data in close proximity to ☕.
@lurk-lab
Twitter: huitseeker
Location: Montreal, Québec, Canada
Blog: https://www.garillot.net/
François Garillot's Projects
Composable proof transcripts for public-coin arguments of knowledge
A fork of the mesos aur package
STARK-based virtual machine
Rust mid-level IR Abstract Interpreter
Home of the Move programming language
Common infrastructure used by multiple Mysten projects
A new arguably faster implementation of Apache Spark from scratch in Rust
Normalization by evaluation in Coq
Scientific Computing for the JVM (NDArrays)
ND4S: N-Dimensional Arrays for Scala. Scientific Computing a la Numpy. Based on ND4J.
Rust Poseidon implementation.
NFS client in userspace.
Noir is a domain specific language for zero knowledge proofs
Nova: Recursive SNARKs without trusted setup
Middleware to compile Circom circuits to Nova prover
Nym provides strong network-level privacy against sophisticated end-to-end attackers, and anonymous transactions using blinded, re-randomizable, decentralized credentials.
Open Neural Network Exchange
Caffe2 implementation of Open Neural Network Exchange (ONNX)
An implementation of the OPAQUE password-authenticated key exchange protocol
The fast, light, and robust client for the Ethereum mainnet.
Metaparticle/Package: Language Fluent Containerization and Deployment in Java, .NET and Javascript (and more coming soon)
Rust implementation for zcash/pasta
Fast multi-threaded, hybrid-streaming DataFrame library in Rust | Python | Node.js