Explore projects
-
Updated
-
Updated
-
Updated
-
-
Updated
-
Updated
-
Updated
-
Updated
-
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
-
-
Part of waraps developer environment. Examples of how to integrate a task planner.
Updated -
Part of development environment. Example on hot to connect a motionplanner to the system.
Updated -
Part of WARAPS development environment. Examples how to integrate your own controller (inner loop and outer loop).
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 -
Updated
-
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