Explore projects
-
Lukáš Korenčik / mcsema_divine
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
Unity project for workshop about Motion Capture and Game Development.
Updated -
A (very) small OS kernel developed in the PB173 course. Checking an item in my bucket list.
Updated -
Kontr 2.0 / Portal API Backend
Apache License 2.0Kontr Portal API Backend in the Python using Flask
Updated -
Storage module for the Kontr portal to store/retrieve the submissions
Updated -
-
-
Kontr 2.0 / Docker
MIT LicenseDocker deployment and build scripts, base images and related suff
Updated -
Updated
-
-
-
Kontr 2.0 / examples / ktdk-test-examples
Apache License 2.0Example tests written using KTDK
Updated -
Release fully annotated data from the CTC. Full annotation should come from the best combination from the CTC.
Updated -
Matej Lexa / nested
GNU General Public License v3.0 or laterSoftware to recursively identify TEs or other inserted sequences and cut them out to enable discovery of similar underlying older sequences.
Updated -
Updated
-
-