Source code for cairovm.codes — a web app to compile Cairo programs into Sierra and CASM with step-through execution capabilities.

Smarter Bitcoin Contracts

Cubik Design System

Decentralized social built with Nostr and powered by Starknet account abstraction.

Building blocks of a Circle STARK verifier in Bitcoin script

📚 The Bayes Way 🎓

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…

A collection of examples of Cairo smart contracts for Starknet.

RISC-V emulator for CLI and Web written in Rust with WebAssembly. It supports xv6 and Linux (ongoing).

Fiber client in Rust

Proof of passport protocol using zk-SNARKs

LUKSO technical documentation

LinksHub aims to provide developers with access to a wide range of free resources and tools that they can use in their work. These resources include links to free software, libraries, frameworks, a…

ONNX Runtime in Cairo 1.0 for verifiable ML inference using STARK

Automatic verification of LLVM optimizations

Noir is a domain specific language for zero knowledge proofs

📝 Specifications for the Fuel protocol and the FuelVM, a blazingly fast blockchain VM.

🌴 Empowering everyone to build reliable and efficient smart contracts.

This is a repo synched with Mode's documentation

move from rapid prototyping to production-grade apps

A virtual machine for Cairo written in Go

Collect libraries and packages about blockchain/cryptography in Rust

SDK for iteracting with Arweave using Rust