This repo contains a comprehensive list of smart contract auditor tools and techniques that can be utilized by both smart contract auditors and blockchain developers for developing secure smart con…

🚀 Try the Learn EVM Explorer we just launched!!!

Reproduce ZKP vulnerabilities

Open source ASIC Bitcoin miner hardware

Decentralized Alternative Templates for Universal Mining

Lightning Network Daemon ⚡️

Bitcoin Core integration/staging tree

Token Vesting contract for the Soroban/Stellar platform

A typescript implementation of the Cairo VM

Desktop Bitcoin Wallet focused on security and privacy. Free and open source.

Code coverage tool for cairo

Kakarot exploration R&D project to prove Stylus using Cairo

The Starknet Agent front-end

A STARK proof to sync a Bitcoin full node in an instant.

Bitcoin ZK client written in Cairo.

Slinks Marketplace.

Bitcoin Script VM in Cairo

Madara is a powerful hybrid Starknet client written in Rust.

Dojo game - Tetris like

cairo-vm_in_go is a Go implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to anothe…

Contracts for governance of Starknet protocols

Open source forkable Starknet dev stack. Codebase of Scaffold Stark

Decentralized social built with Nostr and powered by Starknet account abstraction.

CLI to verify your starknet contracts classes on block explorers!