Pinned Repositories
advent-of-code-2023
Advent of Code 2023 in Mojo
bedrock-examples
clcheck
a RUP checker
conv-snarkjs
Solidity zk-SNARK verifier contract converter for Python
coq-examples
field-fft-mojo
Fast Fourier Transform (FFT) over Finite Field implementation in Python and Mojo
lean-quantum
Formalized quantum computing in Lean theorem prover
mini-snark
A simple SNARK implementation in Python
simple-sat-solver-mojo
A simple SAT solver implemented in Mojo compared to Python and C++ counterparts
WebWindowServer
Proof-of-Concept implementation of Web Window Server
duckki's Repositories
duckki/lean-quantum
Formalized quantum computing in Lean theorem prover
duckki/simple-sat-solver-mojo
A simple SAT solver implemented in Mojo compared to Python and C++ counterparts
duckki/bedrock-examples
duckki/field-fft-mojo
Fast Fourier Transform (FFT) over Finite Field implementation in Python and Mojo
duckki/WebWindowServer
Proof-of-Concept implementation of Web Window Server
duckki/coq-examples
duckki/mini-snark
A simple SNARK implementation in Python
duckki/advent-of-code-2023
Advent of Code 2023 in Mojo
duckki/clcheck
a RUP checker
duckki/conv-snarkjs
Solidity zk-SNARK verifier contract converter for Python
duckki/duckki.github.io
Duckki's blog
duckki/homebrew
The missing package manager for OS X.
duckki/openzeppelin-contracts
OpenZeppelin Contracts is a library for secure smart contract development.
duckki/federation
🌐 Build and scale a single data graph across multiple services with Apollo's federation gateway.
duckki/pybitcointools
Simple, common-sense Bitcoin-themed Python ECC library
duckki/slither
Static Analyzer for Solidity and Vyper
duckki/stark101-redux
Refactored zk-SNARK application code from the 2019 stark101 tutorial