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
mini-snark
A simple SNARK implementation in Python
WebWindowServer
Proof-of-Concept implementation of Web Window Server
advent-of-code-2023
Advent of Code 2023 in Mojo
CC0-1.0000
clcheck
a RUP checker
Language:C++000
conv-snarkjs
Solidity zk-SNARK verifier contract converter for Python
Language:Python000
duckki.github.io
Duckki's blog
Language:HTML000
openzeppelin-contracts
OpenZeppelin Contracts is a library for secure smart contract development.
Language:JavaScriptMIT000
federation
š Ā Build and scale a single data graph across multiple services with Apollo's federation gateway.
Language:TypeScriptNOASSERTION000
pybitcointools
Simple, common-sense Bitcoin-themed Python ECC library
Language:PythonNOASSERTION000
slither
Static Analyzer for Solidity and Vyper
AGPL-3.0000
stark101-redux
Refactored zk-SNARK application code from the 2019 stark101 tutorial
Language:Python000