Riley's repositories
token-types
Efficient Type Driven Smart Contract Interactions
uni-v4-core-flashloans
Simple Uniswap V4 Flashloan Receiver
inline-yul-style-guide
A mostly mostly reasonable approach to inline Yul styling.
etherleaks
Ring Signature-like Protocol for Anonymous Ethereum Signatures
naturals-lean
Lean Theorem Proving Exercises and Learning Repository
noir-runner
Noir Exported Function Runner
quantum-lean
Quantum computing primitives in Lean 4
aika
Discrete event simulator in stable Rust
Language:RustAGPL-3.0000
deployer-of-web
minimalist systemd service to update website from github
Language:Shell000
ERCs
The Ethereum Request for Comment repository
Language:SolidityCC0-1.0000
Language:Noir000
fibered-cat
meow
Language:HTML000
gas-killer-solidity
Gas Killer Smart Contracts
000
Language:HTML000
ronkathon
Cryptography Educational Foundations
Language:RustApache-2.0000