Explore projects

A simple extension manager for Java compatible with Eclipse.

Prefekt, the digital twin auditor, is a python tool that compares various types of metrics obtained from simulation, analysis or running factory environment.

Search-Based Testing Environment

Extracting CFGs from C/C++ programs using analysis of llvm-ir.

A library for extracting debugging information from binary files.

Experimental extension of Forester for Resource Bounds computation.

Vstupy pro 1. projekt do IOSu (2022).

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