Explore projects

Local copy of Roadrunner, original: https://github.com/stephenfreund/RoadRunner

Project for testing development of Eclipse plugins using Maven and distributing them as maven or p2 packages.

Library for abstraction and concretization of stream of messages of certain similarity or class.

RTL query engine (as a part of HADES)

Vstupy pro 1. projekt do IOSu (2022).

NodeJS library for developing JavaScript-based OSLC domains and clients.

VeriFIT Reusable Java Components.

A project for the course Network Applications and Network Administration (bachelor's studies).

Eclipse Task Executor

A Static Analyzer for C Based on Separation Logic and the Principle of Bi-Abductive Reasoning

Zakladni testy pro 2. projekt IZP 2020/21