Explore projects

Library 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++.

Library 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++.

A version of the tool ZAAMA which is adapted to be able to verify cache coherence protocols with trace filters.

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.

A verfier for phaser synchronization.

constrained monotonic abstraction for counter machines

Various code used by the humanoid lab at Linköping University

Common messages without specific category.

Driver to Axis IMU.

Part of waraps developer environment. Examples of how to integrate a task planner.