All software
KeY
KeY is a deductive verification system for Java programs
- Deductive Verification
- First-Order Logic
- Formal Verification
- + 3
- Java
- ANTLR
- Perl
- + 14
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
KeYmaera X
An aXiomatic Tactical Theorem Prover for Hybrid Systems
- Axiom
- Differential Dynamic Logic
- Hybrid Systems
- + 3
- Scala
- JavaScript
- Mathematica
- + 7
AMIRIS
AMIRIS is the open Agent-based Market model for the Investigation of Renewable and Integrated energy Systems. It aims at enabling scientists to dissect the complex questions arising with respect to future energy markets, their market design, and energy-related policy instruments.
- Agent-based Model
- electricity
- Energy
- + 4
- Java
- Python
- BibTeX
ARX - Open Source Data Anonymization Software
ARX is an open-source tool for anonymizing sensitive personal data. It offers many privacy/risk models, transformation methods, and utility analyses. Used in research, clinical trials, training, and big-data platforms. Scales to large datasets and includes an intuitive cross-platform GUI.
- anonymization
- de-identification
- privacy
- Java
- HTML
- Shell
Vitruvius
View-based System Development on Consistent Models
- Consistency
- Model-driven development
- Model transformations
- + 1
- Java
xDECAF
An extensible data flow diagram constraint analysis framework for information security
- Data Flow Diagram
- Modeling
- open source
- + 1
- Java
- Python
- Nix
- + 1
Aviator
Aviator is a web service facilitating easy surveillance of scientific online tools. It currently checks more than 13,000 websites twice a day for availability and saves numerous features (response time, RAM usage security certificates, analytic tools / trackers, etc.) in a FAIR data repository.
- Data Visualization
- FAIR Data
- FAIR Software
- + 8
- Python
- HTML
- JavaScript
- + 5
Eclipse Layout Kernel
The Eclipse Layout Kernel (or ELK) is two things: a collection of layout algorithms, and an infrastructure that bridges the gap between layout algorithms and diagram viewers and editors.
- graph drawing
- Layered layout
- OpenSource
- Java
- GAP
- HTML
- + 3
TiGL
TiGL is a parametric aircraft geometry modeler. Using the CPACS file format and TiGL, you can model a wide range of aircraft, spacecraft and rotorcraft.
- CAD
- C++
- C
- CMake
- + 7
elkjs
The JavaScript version of the graph drawing library Eclipse Layout Kernel (ELK).
- graph drawing
- Layered layout
- OpenSource
- JavaScript
- Java
- HTML
- + 1
Automating Requirements and Documentation Comprehension (ARDoCo)
Automating Requirements and Documentation Comprehension (ARDoCo) is a framework to connect architecture documentation, requirements, and models while identifying missing or deviating elements (inconsistencies). An element can be any representable item of the model like a software component.
- Consistency
- Documentation
- Inconsistency Detection
- + 6
- Java
- ANTLR
- Markdown
- + 3