Explore projects
-
verifit / oslc4js-browser
Apache License 2.0Browser library for developing JavaScript-based OSLC domains and clients.
Updated -
-
-
verifit / oslc4js
Apache License 2.0NodeJS library for developing JavaScript-based OSLC domains and clients.
Updated -
Testos / Netloiter
GNU General Public License v3.0 or laterA tool for testing a network system under different circumstances of a transmission line. The tool simulates various network conditions, which may result from real faults (like packet loss, big lattency, jitter).
Updated -
verifit / Netlab
MIT LicenseUpdated -
Library for manipulation and classification of communication messages.
Updated -
Library for abstraction and concretization of stream of messages of certain similarity or class.
Updated -
Testos / Logreaper
GNU General Public License v3.0 or laterUpdated -
Ondra Lengál / libvata-tree-congr
GNU General Public License v3.0 onlyAn extension of libvata using bisimulation up-to congruence to check language inclusion of tree automata
UpdatedUpdated -
anaconda / libdie
GNU General Public License v3.0 or laterA library for extracting debugging information from binary files.
Updated -
Vladimír Marcin / L2D2
MIT LicenseUpdated -
-
verifit / jSEM
Eclipse Public License 2.0A simple extension manager for Java compatible with Eclipse.
Updated -
Extracting CFGs from Java programs using analysis of bytecode.
Updated -
Updated
-
A project for the course Network Applications and Network Administration (bachelor's studies).
Updated -
A project for the course Computer Communications and Networks (bachelor's studies).
Updated -
Updated
-