A compiler for fully homomorphic encryption and zero knowledge proofs
Contributions:257 reviews, 297 commits, 203 PRs in 1 year 2 months
compilerhomomorphic-encryptioncryptographyzero-knowledge
TypeScript library providing compile-time checking for state machine transitions
Contributions:2 reviews, 14 commits, 24 PRs in 1 year 4 months
compile-timestate-machinetypescript