Skip to content
View stevencartavia's full-sized avatar

Block or report stevencartavia

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse
Showing results

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

Rust 8,155 1,691 Updated Sep 25, 2024

Rust implementation of the Ethereum Virtual Machine.

Rust 1,603 531 Updated Sep 25, 2024

Transports, Middleware, and Networks for the Alloy project

Rust 573 204 Updated Sep 25, 2024

Welcome to ZK Multiverse – a web game where developers learn to build zk circuits using Circom or Noir through fun challenges and puzzles, mastering cryptography and key mathematical concepts.

TypeScript 6 Updated Sep 13, 2024

Bitcoin Script VM in Cairo

Cairo 54 55 Updated Sep 23, 2024

Kakarot zkEVM - rewrite in the latest version of Cairo

Cairo 131 69 Updated Sep 25, 2024
Jupyter Notebook 29 12 Updated Sep 2, 2024

A workshop for contributing to the Cairo compiler, emphasizing advanced compiler techniques and hands-on exercises.

17 3 Updated Aug 7, 2024

A collection of lints to catch common mistakes and improve your Cairo code.

Rust 19 33 Updated Sep 25, 2024

Bitcoin ZK client written in Cairo.

Cairo 1 Updated Sep 14, 2024

A curated list of awesome things related to learning and programming in Noir.

333 62 Updated Sep 23, 2024

Generate privacy-preserving ID proofs

C++ 317 54 Updated Sep 24, 2024

Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust

Rust 3,833 1,080 Updated Sep 25, 2024

Frontend for the StarkTrip game

TypeScript 1 Updated Jun 23, 2024
TypeScript 1 Updated Jun 26, 2024

A detailed tutorial to test Starknet messaging with Anvil and Katana

Solidity 27 3 Updated Aug 1, 2024

An interactive tutorial to get you up and running with Cairo v1 and Starknet

Cairo 1 Updated May 3, 2024

The Cairo package manager

Rust 1 Updated Jun 7, 2024

Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.

Cairo 1 Updated Jun 7, 2024

Giza Platform CLI

Python 1 Updated Jun 10, 2024

Solidity contracts for the Starknet Decentralized Protocol proposal

Rust 1 Updated Jun 11, 2024

Backend for the StarkTrip Dojo game

Cairo 1 Updated Jun 15, 2024

Kakarot ZK EVM Ethereum RPC adapter

Rust 1 Updated Jun 21, 2024

Giza Platform CLI

Python 16 7 Updated Sep 10, 2024

Solidity contracts for the Starknet Decentralized Protocol proposal

Rust 12 13 Updated Sep 18, 2024

OpenZeppelin Contracts written in Cairo for Starknet, a decentralized ZK Rollup

Rust 813 327 Updated Sep 25, 2024

A starting template for your Dojo world

Cairo 29 41 Updated Sep 24, 2024

Risk like on Starknet

Cairo 6 6 Updated May 23, 2024

Gitcoin Allo protocol for Starknet 🐺

Cairo 14 41 Updated Aug 28, 2024

libgccjit AOT codegen for rustc

Rust 910 61 Updated Sep 9, 2024
Next