8000 TAdev0 (Tristan) / Starred · GitHub
[go: up one dir, main page]

Skip to content
View TAdev0's full-sized avatar

Organizations

@code-423n4

Block or report TAdev0

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Mastering Ethereum: 2nd Edition, by Andreas M. Antonopoulos, Gavin Wood, Carlo Parisi, Alessandro Mazza, Niccolò Pozzolini

21,547 5,154 Updated Oct 12, 2026

Aave V3 Protocol

Solidity 294 233 Updated Nov 6, 2026

Zcash ZK client written in Cairo.

Cairo 6 2 Updated Dec 18, 2025

A symbolic testing tool for EVM smart contracts

Python 1,043 119 Updated Aug 6, 2025

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…

815 137 Updated Jun 10, 2026

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

Solidity 1,801 235 Updated Feb 20, 2026

Reproduce ZKP vulnerabilities

Circom 351 41 Updated Sep 30, 2026

Open source ASIC Bitcoin miner hardware

1,374 218 Updated Aug 27, 2025

Decentralized Alternative Templates for Universal Mining

C 149 92 Updated Oct 19, 2026

Lightning Network Daemon ⚡️

Go 8,213 2,319 Updated Nov 7, 2026

Bitcoin Core integration/staging tree

C++ 90,622 39,448 Updated Nov 7, 2026

Token Vesting contract for the Soroban/Stellar platform

Rust 2 1 Updated Apr 23, 2026

A typescript implementation of the Cairo VM

TypeScript 20 14 Updated Oct 7, 2024

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

Java 2,178 349 Updated Nov 5, 2026

Code coverage tool for cairo

Rust 22 4 Updated Nov 1, 2026

Kakarot exploration R&D project to prove Stylus using Cairo

Cairo 1 Updated Sep 13, 2024

The Starknet Agent front-end

TypeScript 11 3 Updated Dec 3, 2025

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

Cairo 450 65 Updated Jul 13, 2026

Bitcoin ZK client written in Cairo.

Cairo 114 57 Updated Dec 1, 2025

Slinks Marketplace.

CSS 4 2 Updated Jul 26, 2024

Bitcoin Script VM in Cairo

Cairo 75 56 Updated Jun 2, 2025

StarkWare's next gen prover

Rust 507 183 Updated Nov 5, 2026

Dojo game - Tetris like

TypeScript 12 16 Updated Oct 2, 2026

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…

Go 56 14 Updated Apr 30, 2024

Contracts for governance of Starknet protocols

Cairo 69 32 Updated Oct 10, 2026
TypeScript 16 25 Updated Jun 13, 2025

Open source forkable Starknet dev stack. Codebase of Scaffold Stark

TypeScript 109 167 Updated Aug 3, 2026
Next
0