Explore projects
-
-
Updated
-
Updated
-
The Texture Module (TM) only for the ISBI2016 paper.
Updated -
This repository contains a number of examples detailing the use of dynamic libraries from within the x86_64 assembly.
Updated -
Kontr 2.0 / Kontr Test Development Kit
MIT LicenseKontr Test Development Kit - python library to write tests
Topics: kontr KTDK t...Updated -
A programming language compiler for the PA037 Compiler Project course.
Updated -
Updated
-
Lukáš Ručka / voro
Lawrence Berkeley National Labs BSD variant licenseUpdated -
Lukáš Korenčik / mcsema_divine
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
A (very) small OS kernel developed in the PB173 course. Checking an item in my bucket list.
Updated -
Release fully annotated data from the CTC. Full annotation should come from the best combination from the CTC.
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated