Explore projects
-
Updated
-
Ondřej Vašíček / OSLC Adapter
Eclipse Public License 2.0Developement repository for the OSLC Anaconda Adapter.
Updated -
Updated
-
Updated
-
Updated
-
verifit / Netlab
MIT LicenseUpdated -
Lenka Turoňová / Automata-cadet_bench-03-29-2019
MIT LicenseUpdated -
-
Lenka Turoňová / Automata-05-02
MIT LicenseUpdated -
-
anaconda / libdie
GNU General Public License v3.0 or laterA library for extracting debugging information from binary files.
Updated -
-
-
Extracting CFGs from C/C++ programs using analysis of llvm-ir.
UpdatedUpdated -
Updated
-
Updated
-
A project for the course Computer Communications and Networks (bachelor's studies).
Updated -
-
Testos / Combineng
Creative Commons Attribution Non Commercial Share Alike 3.0 UnportedUpdated -
Updated