LoreonLabsPlatform
DocsHome
  • Overview

Intelligence

  • Markets
  • Builders
  • Research
  • Ecosystems
  • Launchpads
  • Search
Ecosystems

Other

Sanctifier

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

OtherEmerging
GitHubWebsite
Stars
—
Forks
—
Contributors
8
Last push
2mo ago

Recent commits

Latest commits.

  • Merge pull request #717 from williamedvard/fix/issues-577-599-679-685
    962839acryptic Dev2mo ago
  • feat: comprehensive test infrastructure and security documentation for issues #577, #579, #685
    63f6ad3williamedvard2mo ago
  • Merge pull request #715 from Jay-Peter-Egemasi/codex/docs-specs-ci-coverage-689-682-683
    abfc810cryptic Dev2mo ago
  • Merge pull request #716 from daniella-techie/feat/550-551-574-593-wasm-npm-publishing-ts-bindings-contracts-validation-frontend-telemetry
    44c2624cryptic Dev2mo ago
  • Merge pull request #714 from Akatenvictor/me/wave-4
17ea467
cryptic Dev
2mo ago
  • feat: wasm module boundaries, npm publishing, ts bindings, contracts validation, frontend telemetry
    bb7a3fcdaniella-techie2mo ago
  • test: harden action support matrix validation
    33703dbCMI-James2mo ago
  • test: add docs specs integration coverage
    a03352aCMI-James2mo ago

    • Top contributors

    Builders behind this project.

    Gbangbolaoluwagbemiga
    215 commits
    meshackyaro
    27 commits
    ritik4ever
    27 commits
    Wilfred007
    20 commits
    gboigwe
    14 commits
    bakarezainab
    14 commits
    clintjeff2
    13 commits
    OlufunbiIK
    12 commits