Repositories list

• solarkraft

  Public
  Solarkraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache

  smart-contractsverificationstellar+ 2tlaplussoroban

  TypeScript

  •

  Apache License 2.0

  •1•12•17•2•Updated Dec 23, 2024Dec 23, 2024

• ssf-mc

  Public
  EF project Exploring Automatic Model-Checking of the Ethereum specification

  TeX

  •

  Apache License 2.0

  •0•4•0•0•Updated Dec 18, 2024Dec 18, 2024

• .github

  Public
  0•0•0•0•Updated Jul 24, 2024Jul 24, 2024

• soroban-scripts

  Public
  Tiny scripts to simplify testing of / playing with Soroban smart contracts

  Shell

  •

  Apache License 2.0

  •0•0•0•0•Updated Jun 6, 2024Jun 6, 2024