New developments in Solarkraft - Stellar Community Fund 29
We have finished Phase 1 of the work on Solarkraft after the award by SCF...
In December 2024, Thomas Pani and I finished the second batch of work on Solarkraft, for which we have received funding in Round 29. We have experimented with monitor specifications in TypeScript and Golang, as well as generated test inputs with Apalache.
This post is licensed under CC BY 4.0 by the author.