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