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

github.com/freespek/solarkraft
by @freespek

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.