Sign in
Ctrl K
HIFIS Software Spotlights

All software

1Filter
Keywords
66
Program languages
59
Licenses
14
1-12 of 17
Cover image for AMIRIS

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
8
0
Cover image for ArDoCo

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
  • + 4
  • Java
  • Markdown
5
6
Cover image for base-repo

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
2
0
Cover image for dCache

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
4
1
Cover image for Helmholtz Research Software Directory

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
6
3
Cover image for JPlag

JPlag

JPlag is one of the most used software plagiarism detectors in universities around the world.

  • clone detection
  • Java
  • open source
  • + 4
  • Java
  • ANTLR
  • Rust
  • + 15
5
146
Cover image for Kaapana

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
2
9
Cover image for KeY

KeY

KeY is a deductive verification system for Java programs

  • Deductive Verification
  • First-Order Logic
  • Formal Verification
  • + 3
  • Java
  • HTML
  • ANTLR
  • + 14
30
776
Cover image for KeYmaera X

KeYmaera X

An aXiomatic Tactical Theorem Prover for Hybrid Systems

  • Axiom
  • Differential Dynamic Logic
  • Hybrid Systems
  • + 3
  • Scala
  • JavaScript
  • Mathematica
  • + 7
2
3
Cover image for Prospective Monitoring and Management - App (PIA)

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
  • + 10
11
5
Cover image for RadPlanBio

RadPlanBio

RadiationDosePlan- Image/Biomarker-Outcome-platform (RPB) is a collection of open source software systems integrated via portal to deliver a core software infrastructure necessary to support the operation of non-commercial trials unit.

  • Clinical-Research
  • Health
  • Radiotherapy
  • + 1
  • Java
  • HTML
  • CSS
  • + 1
3
8
Cover image for RCE

RCE

RCE is a distributed integration environment for scientists and engineers to analyze, optimize, and design complex systems like aircraft, ships, or satellites.

  • Aeronautics, Space and Transport
  • collaboration
  • Distributed Execution
  • + 3
  • Java
  • HTML
  • Gherkin
  • + 8
0
0