Explore projects
-
Updated
-
-
Lenka Turoňová / CountingAutomata-matcher
MIT LicenseUpdated -
Lenka Turoňová / countingautomata-analysis
MIT LicenseUpdated -
-
Piškot / CountingAutomata-matcher
MIT LicenseUpdated -
Testos / ts-reporter
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalUpdated -
Lenka Turoňová / CountingAutomata
MIT LicenseUpdated -
Testos / plexson
Creative Commons Attribution Non Commercial Share Alike 3.0 UnportedInteractive JSON-scheme generator from multiple JSON instances
Updated -
Lenka Turoňová / Automata-cadet_bench-03-29-2019
MIT LicenseUpdated -
Updated
-
Updated
-
Testos / gestr
Creative Commons Attribution Non Commercial Share Alike 3.0 UnportedUpdated -
Updated
-
Testos / DB data generator extended
Creative Commons Attribution Non Commercial Share Alike 3.0 UnportedUpdated -
-
Control Flow Graph Query Engine. Algorithms and data structures (API) for queries manipulating CFG (such as building CFG during compilation, CFG traversal, node/edge metadata manipulation).
Updated -
Updated
-
Updated
-
anaconda / libdie
GNU General Public License v3.0 or laterA library for extracting debugging information from binary files.
Updated