A command line tool deal with unfortunately long one-string files.
CLI for Root14 private transactions on Stellar
Lazy-loading mainnet/testnet fork for Soroban tests. Inspired by Foundry's Anvil.
Core library for stellar-zk: traits, config, pipeline, templates
ZK DevKit for Stellar/Soroban — unified CLI for Groth16, UltraHonk, and RISC Zero
Groth16 backend for stellar-zk (Circom + snarkjs)
RISC Zero backend for stellar-zk (zkVM + Groth16 wrapper)
Noir + UltraHonk backend for stellar-zk (nargo + Barretenberg)
Rust CAD generator for stellarator fusion reactors: VMEC equilibria to STEP geometry for in-vessel layers and modular coils.
Attribute macro to require that the compiler prove a function can't ever panic.
Attribute macro to require that the compiler prove a function can't ever panic.
Demo oracle soroban smart contract for soroban-kit.