duckki
Follow
-
type-level-rust Public
Some type-level logical reasoning examples in Rust
Rust MIT License UpdatedFeb 2, 2025 -
federation Public
Forked from apollographql/federation🌐 Build and scale a single data graph across multiple services with Apollo's federation gateway.
TypeScript Other UpdatedJul 2, 2024 -
pybitcointools Public
Forked from primal100/pybitcointoolsSimple, common-sense Bitcoin-themed Python ECC library
Python Other UpdatedApr 28, 2024 -
conv-snarkjs Public
Solidity zk-SNARK verifier contract converter for Python
Python UpdatedFeb 9, 2024 -
-
field-fft-mojo Public
Fast Fourier Transform (FFT) over Finite Field implementation in Python and Mojo
-
stark101-redux Public
Refactored zk-SNARK application code from the 2019 stark101 tutorial
Python UpdatedJan 10, 2024 -
-
simple-sat-solver-mojo Public
A simple SAT solver implemented in Mojo compared to Python and C++ counterparts
-
advent-of-code-2023 Public
Advent of Code 2023 in Mojo
Creative Commons Zero v1.0 Universal UpdatedDec 22, 2023 -
slither Public
Forked from crytic/slitherStatic Analyzer for Solidity and Vyper
Python GNU Affero General Public License v3.0 UpdatedNov 21, 2023 -
openzeppelin-contracts Public
Forked from OpenZeppelin/openzeppelin-contractsOpenZeppelin Contracts is a library for secure smart contract development.
JavaScript MIT License UpdatedFeb 1, 2022 -
lean-quantum Public
Formalized quantum computing in Lean theorem prover
-
WebWindowServer Public
Proof-of-Concept implementation of Web Window Server
-
-
-
homebrew Public
Forked from Homebrew/legacy-homebrewThe missing package manager for OS X.
Ruby UpdatedApr 5, 2013 -