Lumen Loop
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
Latest news
Jul 24
SCF #44 Round Recap
{ }@galoisinc6 repositories
View all on GitHub →

Last 6 months · Weekly commits

cryptol
swanky
grease
llvm-pretty-bc-parser
mir-json
</>cryptol

Cryptol: The Language of Cryptography

★ 1222⑂ 130Haskell
</>swanky

A suite of Rust libraries for secure multi-party computation.

★ 365⑂ 70Sieve
</>grease

CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execut…

★ 133⑂ 11Haskell
</>llvm-pretty-bc-parser

Parser for the llvm bitcode format

★ 61⑂ 9LLVM
</>mir-json

Plugin for rustc to dump MIR in JSON format

★ 16⑂ 6Rust
</>rustcrypto-verification

Verification of various RustCrypto crates against specifications from cryptol-specs.

★ 0⑂ 0Rust
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 →
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
SiBorgDeveloper Tooling
SCF
RustSDKArt

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

View →
R
Runtime VerificationDeveloper Tooling
SCF
Formal VerificationSecurity

Open-source tool for Soroban smart contract developers, enabling them to perform robust formal verification.

View →
A
AirGapApplications
SCF
SecuritySDKSoftware Wallet

AirGap allows users to turn a spare smartphone into a fully offline cold wallet using a two-device architecture: AirGap Vault (o…

View →
C
CalimeroDeveloper Tooling
SCF
SecuritySDKP2P

Calimero Network is an innovative framework for building Self-Sovereign Application protocols and private data sharing.

View →