All software
KeY
KeY is a deductive verification system for Java programs
- Deductive Verification
- First-Order Logic
- Formal Verification
- + 3
- Java
- ANTLR
- Perl
- + 14
IGMAS+
IGMAS+ (Interactive Gravity and Magnetic Application System) is a software combining 3-D forward and inverse modeling, interactive visualization and interdisciplinary interpretation of potential fields and their applications under geophysical and geological data constrains.
- 3D
- Cross-platform
- Earth & Environment
- + 8
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
FAME
FAME is the open Framework for distributed Agent-based Modelling of Energy systems. Its purpose is supporting the rapid development and fast execution of complex agent-based energy system simulations.
- Agent-based Model
- framework
- Java
- + 2
- Python
- BibTeX
JRODOS Pipeline for Nuclear Emergency Planning
A new JRODOS module that post-processes statistical ensembles of Atmospheric Dispersion Models outputs in order to derive early-phase evacuation areas under realistic annual meteorology.
- Atmospheric science
- Decision-Making Software
- Java
- + 3
- Python
RO Crate Java
A Java library to create and modify RO-Crates. The aim of this implementation is to not require too deep knowledge of the specification, and avoiding crates which do not fully comply to the specification, at the same time.
- data managment
- FAIR Data
- FAIR Software
- + 3
- Java
- HTML
- FreeMarker