Probot's repositories
Huffathon_23
Complex Math Lib & FFT implementation in Huff
OpenStylus
Modular and gas-optimized smart contract libraries and frameworks for Stylus Smart contract development.
sparkling_water_bootcamp
Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcamp
bitcoin
Bitcoin Core integration/staging tree
huff-puzzles
These exercises were created for our Advanced Solidity Bootcamp and open sourced. Learn EVM bytecode with the Huff Language.
bitcoinfuzz
Differential Fuzzing of Bitcoin implementations and libraries
cairo_native
A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
ctf-blockchain
A summary of 100+ CTF blockchain challenges
dappicom
Provable play of Nintendo Entertainment System in Noir
evm-puzzles
A collection of EVM puzzles
fedimint
Federated E-Cash Mint
foundry-yul-puzzles
Foundry + Yul puzzles
GPU-Puzzles
Solve puzzles. Learn CUDA.
HorseRiders
A complex math and Fast Fourier Transform Library for Huff and EVM Assembly
hyperswitch
An open source payments switch written in Rust to make payments fast, reliable and affordable
lambdaworks
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
noname
Noname: a programming language to write zkapps
Prabhat1308
Config files for my GitHub profile.
sp1
A performant, 100% open-source, contributor-friendly zkVM.
stratum
stratum
teleport-transactions
Taker and Maker protocol of an onchain atomic swap. This project includes a Taker library and a Maker binary with a working coinswap demo.
yul_by_example
Code examples in Yul