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.
dappicom
Provable play of Nintendo Entertainment System in Noir
evm-puzzles
A collection of EVM puzzles
fedimint
Federated E-Cash Mint
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.
rust-libp2p
The Rust Implementation of the libp2p networking stack.
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.
worldcoin-bridge-linea
World ID state bridge for Linea