All software
JPlag
JPlag is one of the most popular source code plagiarism detection systems worldwide.
- Automated Obfuscation Attack
- Collusion Detection
- Data analysis
- + 10
- Java
- ANTLR
- Vue
- + 16
JuPedSim
JuPedSim is a framework designed to support students and researchers in investigating pedestrian dynamics and conducting research related to the development and validation of new models or model features. It enables the analysis of experiments and facilitates the proper visualization of results.
- Information
- Modeling
- open source
- + 3
- Python
- C++
- Jupyter Notebook
- + 4
Digital Earth Viewer
The Digital Earth Viewer is a tool for the visualisation and exploration of geospatial data in true 3D over time. It runs on Windows, MacOS and Linux and only requires a modern webbrowser to use. Common file formats such as CSV, netCDF, GeoTIFF and many more are natively supported.
- Data Visualization
- Earth & Environment
- Environmental Data
- + 1
- Rust
- JavaScript
- TypeScript
- + 2
TBT-Segmentation
Our tool uses Temporal Behavior Trees (TBT), a novel formalism for monitoring specifications, to segment traces provided as CSVs. Developers input a trace, and the tool analyzes it using a TBT to identify which parts of the software worked and which didn’t, aiding in system analysis and debugging.
- CPS
- Formal Specification
- monitoring
- + 2
- Rust
- Python
- Shell
- + 2
Miniproj
Geographic coordinate projections between projected coordinate systems and their underlying geographic reference systems as defined by the European Petroleum Survey Group Geodesy.
- Earth & Environment
- Rust
RTLola Frontend
A frontend to parse and analyze RTLola specifications
- Formal Methods
- Frontend
- monitoring
- + 2
- Rust
- Shell
RTLola Interpreter
An interpreter for RTLola specifications
- Formal Methods
- Interpreter
- monitoring
- + 1
- Rust
- Python
- Shell