All projects
S
Developer ToolingSCF Funded

SAW

A semi-automated tool for Formal Verification of Soroban contracts using the Software Analysis Workbench (SAW).

Launch app
Connect
Similar projects
By category & tags
S
SoroBuilderDeveloper Tooling
SCF
SecurityRustSDK

SoroBuilder is an AI-driven, browser-based environment designed to streamline Soroban smart contract development. It builds full…

View →
S
SiBorgDeveloper Tooling
SCF
RustSDKArt

SiBorg is creating a decentralized monetization protocol that transforms media and creator visibility into a new asset class by …

View →
F
FlashbackInfrastructure & Services
SCF
SecuritySDKArt

Flashback is the world's first multi-cloud storage platform that enables companies to diversify and orchestrate their data stora…

View →
S
SoropassDeveloper Tooling
SCF
SecuritySDKWallet Infra

A minimal passkey SDK and drop-in create / sign / recover components for Stellar smart accounts, built to plug into stellar-wall…

View →
J
JS-Capacitor Passkey KitDeveloper Tooling
SCF
SecuritySDKMobile

The JS-Capacitor Passkey Kit helps JavaScript developers to implement Soroban Smart Wallets by providing access to native passke…

View →
V
Volta CircuitInfrastructure & Services
SecurityArtMulti Signatures

Non-custodial, smart contract-based security protocol on Stellar providing automated asset protection, recovery mechanisms, and …

View →