Explore projects
-
Oldřich Pecák / rp_pulse_profiler
MIT Licensephotomultiplier pulse counter/detector software for Red Pitaya
Updated -
Martin Lukas Mikuš / Server Control Panel
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
Simple interpreter and symbolic executor designed for fast prototyping of symbolic execution algorithms. MOVED to https://gitlab.com/mchalupa/slowbeast
Archived 0Updated -
Kristián Kumor / slowbeastCSE
MIT LicenseUpdated -
Suyash Shandilya / slowbeast-no-data-race
MIT LicenseUpdated -
-
-
Compiler of a reduced subset of C99 and a virtual machine for the PB111 low-level programming course. Mirror of a Darcs repository.
Updated -
-
Matej Hrica / UltraGrid
OtherUpdated -
Updated
-
Updated
-
Updated