Explore projects
-
Překladač do předmětu PA037 Projekt z překladačů.
Updated -
Arduino project made by internship student from France ZAOUALI Alaeddine
Updated -
Updated
-
paradise / mirror / RoFI
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalThis is a mirror of https://github.com/paradise-fi/RoFI
Updated -
Git mirror of the DIVINE current repository. Issues should be reported to https://divine.fi.muni.cz/trac/report/1. Please note that the CI branch will be overwritten periodically and should not be pulled from.
Updated -
Implementation of simulation of RoFIBots, including a simple visualizer and motion planning algorithms.
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Release fully annotated data from the CTC. Full annotation should come from the best combination from the CTC.
Updated -
A (very) small OS kernel developed in the PB173 course. Checking an item in my bucket list.
Updated -
Updated
-
Lukáš Korenčik / mcsema_divine
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Lukáš Ručka / voro
Lawrence Berkeley National Labs BSD variant licenseUpdated