There are 0 repository under modest topic.
A complex SAAS starter kit using Go, the html/template package, and sprinkles of javascript.
💾 A modest wrapper around the AsyncStorage API
⚡ Super fast html5 DOM library with css selectors (based on Modest/MyHTML)
In this project, first a model checker is programmed in Python for cost-optimal reachability properties on timed automata, specified in Modest. Then, that model checker is used to compute battery-aware experiment schedules for the GOMX-3 nanosatellite.