Skip to content
View aeon-life's full-sized avatar
18 followers · 35 following

Block or report aeon-life

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

8 stars written in Rust
Clear filter

FuelLabs / sway

🌴 Empowering everyone to build reliable and efficient smart contracts.

Rust 62,411 5,365 Updated Jan 9, 2025

FuelLabs / fuel-core

Rust full node implementation of the Fuel v2 protocol.

Rust 57,812 2,812 Updated Jan 9, 2025

FuelLabs / fuels-rs

Fuel Network Rust SDK

Rust 43,929 1,347 Updated Jan 7, 2025

ProvableHQ / leo

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

Rust 4,794 658 Updated Jan 8, 2025

spaceandtimelabs / sxt-proof-of-sql

Space and Time | Proof of SQL

Rust 4,731 184 Updated Jan 8, 2025

ProvableHQ / snarkOS

A Decentralized Operating System for ZK Applications

Rust 4,384 2,635 Updated Jan 6, 2025

linera-io / linera-protocol

Main repository for the Linera protocol

Rust 1,432 179 Updated Jan 8, 2025

aeon-life / leo

Forked from ProvableHQ/leo

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

Rust 1 Updated Nov 21, 2023