Explore projects
-
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 -
Erik Ahlroth / 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 -
Mustaf Musse / 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 -
Stefan Brynielsson / 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 -
Dawid Lukasz Abucewicz / 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
-
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 -
OpenModelica / OMDev
Eclipse Public License 1.0Updated -
Updated
-
Updated
-
Updated
-
Repo containing utility programs to use for the waraps nrtk units. E.g.: a bridge progrma reading from the mqtt broker and pushing the data to ROS.
Updated -
-
-
Updated