Explore projects
-
Updated
-
-
-
-
-
Testos / Logreaper
GNU General Public License v3.0 or laterUpdated -
A project for the course Network Applications and Network Administration (bachelor's studies).
Updated -
-
Updated
-
verifit / oslc4js
Apache License 2.0NodeJS library for developing JavaScript-based OSLC domains and clients.
Updated -
Aleš Smrčka / rtl-query-engine
Creative Commons Attribution Non Commercial Share Alike 3.0 UnportedRTL query engine (as a part of HADES)
Updated -
anaconda / anaconda
GNU General Public License v3.0 or laterANaConDA framework bundled with several built-in analysers.
Updated -
verifit / arrowhead-client
Eclipse Public License 2.0Eclipse-compatible Eclipse Arrowhead client.
Updated -
-
Vladimír Marcin / L2D2
MIT LicenseUpdated -
Testos / plexson
Creative Commons Attribution Non Commercial Share Alike 3.0 UnportedInteractive JSON-scheme generator from multiple JSON instances
Updated -
Adam Rogalewicz / broom
GNU General Public License v3.0 or laterA Static Analyzer for C Based on Separation Logic and the Principle of Bi-Abductive Reasoning
Updated -
-
Testos / Spectra
BSD 3-Clause "New" or "Revised" LicenseA tool for automated translation of specification to a structured data.
Updated -
Aleš Smrčka / roadrunner
BSD 3-Clause "New" or "Revised" LicenseLocal copy of Roadrunner, original: https://github.com/stephenfreund/RoadRunner
Updated
