Explore projects
-
Updated
-
This is a solo repo of the tools that Honza Hubeny and myself once started, and that used to be for a long time living within the MitoGen, recently in a branch called tools. This has moved into this repository, hopefully for good.
Updated -
Lukáš Korenčik / mcsema_divine
BSD 3-Clause "New" or "Revised" LicenseUpdated -
UpdatedUpdated
-
Updated
-
The Texture Module (TM) only for the ISBI2016 paper.
Updated -
Implementation of simulation of RoFIBots, including a simple visualizer and motion planning algorithms.
Updated -
Implementations of algorithms described in the bachelor thesis Euclid's algorithm for large integers.
Updated -
Updated
-
Kontr 2.0 / examples / ktdk-test-examples
Apache License 2.0Example tests written using KTDK
Updated -
-
Updated
-
Updated
-
Updated
-
-
Updated