Solarkraft: A runtime monitoring tool for Stellar
We have finished the work on Solarkraft, which we started in the framework of the SCF #24 activation award....
Solarkraft is a runtime monitoring tool for Stellar Soroban, powered by TLA+ and Apalache. We have finished the activation phase (call 24) at Stellar Community Fund and continue with phase 1 (call 29). See the Project page at SCF.
This work continued in phase 1, SCF #29. See more details at the Solarkraft page by Thomas Pani.
See a demo by Jure Kukovec:
We are grateful to the Stellar Community Fund for supporting our project via the Activation Award. Check our 3-minute pitch. If it has caught your attention, read the SCF24 Application.
This post is licensed under CC BY 4.0 by the author.