Stars
Apache Teaclave™ SGX SDK helps developers to write Intel SGX applications in the Rust programming language, and also known as Rust SGX SDK.
A list of tech, applications and resources in Decentralized AI
List of free GPTs that doesn't require plus subscription
A modern, simple, optimized lending market written in Solidity
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
A safe, extensible ORM and Query Builder for Rust
DEPRECATED in favor of https://github.com/madara-alliance/madara
Foundry library for deploying and managing upgradeable contracts
A native gRPC client & server implementation with async/await support.
Compact and efficient synchronization primitives for Rust. Also provides an API for creating custom synchronization primitives.
Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
🏃♂️💨 GPU accelerated STARK prover built on @arkworks-rs
Amarna is a static-analyzer and linter for the Cairo programming language.
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another th…