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
- BibTeX
Kieker Observability Framework
Kieker is an observability framework, that consists of a monitoring and tracing agent, and compatible analysis tools.
- apm
- distributed-tracing
- dynamic-analysis
- + 5
- Batchfile
- CSS
- Groovy
- + 7
APE
A CLI, Java API and RESTful API for the automated generation of computational pipelines (scientific workflows) from large collections of computational tools.
- Java
- Program synthesis
- Workflow technologies
- ANTLR
- Common Workflow Language
- Java
Xenon
If you are using remote machines to do your computations, and don’t feel like learning and implementing many different APIs, Xenon is the tool for you.
- batch-job
- distributed computing
- FTP
- + 11
- Batchfile
- Java
- Shell
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
Data underlying the BSc project: "An analysis of Java release practices on GitHub"
Data underlying the BSc project: "An analysis of Java release practices on GitHub"
- GitHub
- Java
- Maven
- + 2
- Markdown
- Other
- Rust
- + 1
jQUDT
Java Library to deal with QUDT units and conversions between them. QUDT is an ontology for "Quantities, Units, Dimensions and Data Types in OWL and XML"
- Inter-operability & linked data
- Java
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
libGPML
libGPML is an open-source Java library for working with Graphical Pathway Markup Language (GPML).
- Graphical Pathway Markup Language
- Java
- HTML
- Java
- TeX
RESTful APE
RESTful API for the APE (Automated Pipeline Explorer) library.
- Java
- Program synthesis
- REST API
- + 1
- Dockerfile
- Java