Ctrl K

Limited functionality: Your browser does not support JavaScript.

HIFIS Software Spotlights

Browse all Spotlights

All software

1Filter

Order by

Keywords

Program languages

Licenses

1-12 of 20

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

ArDoCo

ArDoCo (Architecture Documentation Consistency) is a framework to connect architecture documentation 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
Markdown

base-repo

Base-repo is a generic, domain-agnostic research data repository suitable to store and manage all kinds of research data. Its content is organized as DataResources, which consist of descriptive DataCite-compliant Metadata and one or more data elements, either stored as files or linked by reference.

Datacite
data managment
FAIR Data
+ 1

Java
Shell
Dockerfile

CorC

With CorC, we implemented an IDE to create programs following the Correctness-by-Construction approach. Starting with an abstract specification, CorC supports CbC developers in refining a program by a sequence of refinement steps and in verifying the correctness of these refinements.

Eclipse
WebCorC

Java
GAP
Xtend

dCache

dCache is a system for storing and retrieving huge amounts of scientific data, distributed among a large number of heterogeneous server nodes, under a single virtual filesystem tree with a variety of standard access methods including NFSv4.1 (pNFS), FTP, WebDav and xroot.

data managment
FAIR Data

Java
JavaScript
XSLT
+ 14

GIPPtools

A collection of software utilities that aid with initial pre-processing of recorded (seismic) data supporting users that borrow instruments from the GIPP.

Cube
Earth & Environment
geophysics
+ 4

Java
Shell
XSLT
+ 1

Helmholtz Research Software Directory

The Helmholtz Research Software Directory is a place to discover and promote research software. Designed for Research Software Engineers and Scientists, it aims to foster FAIR and reuseability of software.

FAIR Software

TSX
TypeScript
Java
+ 2

JPlag

JPlag is one of the most popular software plagiarism detectors worldwide.

Automated Obfuscation Attack
Collusion Detection
Data analysis
+ 9

Java
ANTLR
Rust
+ 15

482

Kaapana

Kaapana is an open source toolkit for state of the art platform provisioning in the field of medical data analysis. The applications comprise AI-based workflows and federated learning scenarios with a focus on radiological and radiotherapeutic imaging.

data managment
Federated Learning
Image processing
+ 2

Python
Shell
Vue
+ 12

KeY

KeY is a deductive verification system for Java programs

Deductive Verification
First-Order Logic
Formal Verification
+ 3

Java
HTML
ANTLR
+ 14

963

KeYmaera X

An aXiomatic Tactical Theorem Prover for Hybrid Systems

Axiom
Differential Dynamic Logic
Hybrid Systems
+ 3

Scala
JavaScript
Mathematica
+ 7

Prospective Monitoring and Management - App (PIA)

PIA is a free open-source eResearch System for monitoring of incident events and provides a digital infrastructure for conducting population-based studies in any research field - at a study centre or at home. PIA focuses on repeated surveys. #DigitalEpidemiology #LongitudinalDataCollection #FOSS

Data Collection
Digital Infrastructure
epidemiology
+ 5

TypeScript
HTML
JavaScript
+ 9