julio4@github:~ $ whoami  • 🌱 Focus on verifiable and secure softwares  • ⚡ Blockchain/Software engineer

Send me a message!

PinnedLoading

1. NethermindEth/StarknetByExampleNethermindEth/StarknetByExamplePublic

   A collection of examples of Cairo smart contracts for Starknet.

   Solidity 144 99

2. starkware-libs/cairostarkware-libs/cairoPublic

   Cairo is the first Turing-complete language for creating provable programs for general computation.

   Rust 1.7k 593

3. keep-starknet-strange/awesome-starknetkeep-starknet-strange/awesome-starknetPublic

   A curated list of awesome StarkNet resources, libraries, tools and more

   1.5k 323

4. cairo-book/cairo-bookcairo-book/cairo-bookPublic

   The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.

   JavaScript 252 245

5. o1-labs/o1jso1-labs/o1jsPublic

   TypeScript framework for zk-SNARKs and zkApps

   TypeScript 558 142

6. minix2-rsminix2-rsPublic archive

   A minimal intel 8086 disassembler and intepreter in rust built for minix2 (WIP)

   Rust 1