S
SAW
SCF FundedDeveloper ToolingUS
A semi-automated tool for Formal Verification of Soroban contracts using the Software Analysis Workbench (SAW).
No coverage yet.
GitHub activity7 repositoriesS
SoroBuilderDeveloper Tooling
SCF
artrustsdk
SoroBuilder is an AI-driven, browser-based environment designed to streamline Soroban smart contract development. It builds full…
F
FlashbackInfrastructure & Services
SCF
artsdksecurity
Flashback is the world's first multi-cloud storage platform that enables companies to diversify and orchestrate their data stora…
S
SiBorgDeveloper Tooling
SCF
artrustsdk
SiBorg is creating a decentralized monetization protocol that transforms media and creator visibility into a new asset class by …
A
AirGapApplications
SCF
sdksecuritysoftware-wallet
AirGap allows users to turn a spare smartphone into a fully offline cold wallet using a two-device architecture: AirGap Vault (o…
C
CalimeroDeveloper Tooling
SCF
sdksecurityhackathons
Calimero Network is an innovative framework for building Self-Sovereign Application protocols and private data sharing.
C
CertoraInfrastructure & Services
formal-verificationsecurityauditing
Formal verification tools and smart contract audits that identify vulnerabilities with mathematical certainty.
