Skip to content
View joaolago1113's full-sized avatar
9 followers · 13 following

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx2

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx2

Block or report joaolago1113

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

Stars

Showing results

teaxyz / teaBASE

Developer Cockpit

Objective-C 744 113 Updated Jan 1, 2025

AztecProtocol / aztec-starter

A simple aztec contract + test to get started.

Rust 20 25 Updated Jan 10, 2025

storyprotocol / sdk

Story Protocol TypeScript SDK

TypeScript 67 53 Updated Jan 9, 2025

Doriandarko / o1-engineer

o1-engineer is a command-line tool designed to assist developers in managing and interacting with their projects efficiently. Leveraging the power of OpenAI's API, this tool provides functionalitie…

Python 2,858 294 Updated Dec 16, 2024

noir-lang / noir

Noir is a domain specific language for zero knowledge proofs

Rust 938 223 Updated Jan 12, 2025

base-org / chains

Forked from ethereum-lists/chains

provides metadata for networkIDs and chainIDs

Kotlin 79,467 2,476 Updated Feb 15, 2024

ProvableHQ / snarkOS

A Decentralized Operating System for ZK Applications

Rust 4,390 2,638 Updated Jan 6, 2025

kroma-network / tachyon

Modular ZK(Zero Knowledge) backend accelerated by GPU

C++ 7,778 231 Updated Nov 29, 2024

ProvableHQ / leo

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

Rust 4,799 658 Updated Jan 10, 2025