Pinned Repositories
DelayLines
Designer_Verifier
DNFMinimizer
ec-sage-scripts
emp-zk-xcode-compile-err
A demonstration of a compilation error when attempting to use EMP-ZK in a simple Xcode project.
h2c-go-ref
Hash to curves - Go reference implementation
h2c-go-ref-tests
A fork of the standard Go hash to curve repo used for generating tests for gnark-crypto
homogen-dual-ramsey-lb
Using the SAT solver z3 to find lower bounds to a "homogenous" version of the Dual Ramsey Theorem
KR_A1
Knowledge Representation - Assignment 1 - Decision Tree
KR_A2
Tabaie's Repositories
Tabaie/DelayLines
Tabaie/Designer_Verifier
Tabaie/DNFMinimizer
Tabaie/ec-sage-scripts
Tabaie/emp-zk-xcode-compile-err
A demonstration of a compilation error when attempting to use EMP-ZK in a simple Xcode project.
Tabaie/h2c-go-ref
Hash to curves - Go reference implementation
Tabaie/h2c-go-ref-tests
A fork of the standard Go hash to curve repo used for generating tests for gnark-crypto
Tabaie/homogen-dual-ramsey-lb
Using the SAT solver z3 to find lower bounds to a "homogenous" version of the Dual Ramsey Theorem
Tabaie/KR_A1
Knowledge Representation - Assignment 1 - Decision Tree
Tabaie/KR_A2
Tabaie/KRA1Py
Tabaie/mathfmt
Document mathematical Go code beautifully
Tabaie/tozan-ecc
Elliptic curve Go reference implementation