Explore projects
-
František Bráblík / dyng
Apache License 2.0Updated -
Updated
-
Updated
-
Kontr 2.0 / Kontr Test Development Kit
MIT LicenseKontr Test Development Kit - python library to write tests
Topics: kontr KTDK t...Updated -
Updated
-
Updated
-
Updated
-
Implementation of simulation of RoFIBots, including a simple visualizer and motion planning algorithms.
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Kontr 2.0 / examples / ktdk-test-examples
Apache License 2.0Example tests written using KTDK
Updated -
Lukáš Korenčik / mcsema_divine
BSD 3-Clause "New" or "Revised" LicenseUpdated -
The Texture Module (TM) only for the ISBI2016 paper.
Updated -
Updated
-
A programming language compiler for the PA037 Compiler Project course.
Updated -
Updated