MercysJest/haskell-euler
Project Euler Solutions in Haskell
Project Euler Solutions in Haskell
development environment in a docker container
A Rust implementation of the Groth16 zkSNARK
Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
Basic Fuzzer in SMT2
Liberal Go TLS + X.509 Library for Research
Modified musl libc for SGX-LKL