Explore projects
-
Hannes Jämtner / PyCommandCenter
MIT LicenseLibrary for making Starcraft II bots in Python, based on the popular CommandCenter, bound to Python using pybind11. It can also be used for building bots in C++.
Updated -
Updated
-
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
-
Axel Gard / PyCommandCenter
MIT LicenseLibrary for making Starcraft II bots in Python, based on the popular CommandCenter, bound to Python using pybind11. It can also be used for building bots in C++.
Updated -
Edvard Thörnros / PyCommandCenter
MIT LicenseLibrary for making Starcraft II bots in Python, based on the popular CommandCenter, bound to Python using pybind11. It can also be used for building bots in C++.
Updated -
LiVe / zaama-coherence
GNU General Public License v3.0 onlyA version of the tool ZAAMA which is adapted to be able to verify cache coherence protocols with trace filters.
Updated -
The tool PACMAN derives counting invariants for parameterized concurrent programs and incrementally predicate abstracts them, leveraging on a nested constrained monotonic abstraction CEGAR loop which is implemented by its sister project zaama.
Updated -
-
LiVe / zaama
GNU General Public License v3.0 onlyconstrained monotonic abstraction for counter machines
Updated