A library to generate bindings from Cairo ABI.

Blazing fast concurrent HashMap for Rust.

Next Generation Visual Programming System

FlatList that can be reordered by dragging its items

htmx plugin for Tauri

Binary Tree Operator written in Cairo

A simple task runners for the lazy.

</> htmx - high power tools for HTML

Building blocks of a Circle STARK verifier in Bitcoin script

Celestia -> Starknet bridge

Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)

A fast and secure RISC-V based virtual machine

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

Rust Library for running the Starknet OS via the Cairo VM

🏃‍♂️💨 GPU accelerated STARK prover built on @arkworks-rs

🐺 Starknet Rust types 🦀

A post-modern modal text editor.

Build smaller, faster, and more secure desktop and mobile applications with a web frontend.

DEPRECATED in favor of https://github.com/madara-alliance/madara

Learn how to build StarkNet <-> Ethereum cross layer applications

Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)

Repository for the book

Implementing the book "Programming Bitcoin" in Rust

A Rust library providing a builder API to generate Cairo code