All software
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
- ANTLR
SUMO
Eclipse SUMO is an open source, highly portable, microscopic and continuous traffic simulation package designed to handle large networks. It allows for intermodal simulation including pedestrians and comes with a large set of tools for scenario creation.
- Aeronautics, Space and Transport
- Modelling
- open source
- + 2
- C++
- Python
- C
- + 14
LiSSA
LiSSA: A Framework for Generic Traceability Link Recovery In software development and maintenance, numerous artifacts such as requirements and code are produced. LiSSA aims to provide a generic solution for Traceability Link Recovery (TLR) by utilizing LLMs in combination with RAG techniques.
- Information Retrieval
- Large Language Model (LLM)
- Retrieval Augmented Generation (RAG)
- + 1
- Java
- Python
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
- Vue
- Shell
- + 14
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
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
- + 11
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
MyCoRe
MyCoRe (acronym for My Content Repository) is an open source repository software framework for building disciplinary or institutional repositories, digital archives, digital libraries, and scientific journals.
- CMS
- digital archive
- digital library
- + 3
- Java
- TypeScript
- JavaScript
- + 7
CollateX
CollateX is a software to (a.) read multiple versions of a text, (b.) identify differences by aligning tokens, and (c.) output the alignment results for further processing, for instance (d.) to support the production of a critical apparatus or the stemmatical analysis of a text's genesis.
- Critical Edition
- Stemmatology
- Textual Criticism
- HTML
- Java
- Python
- + 8
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
eXist-db
eXist-db is a high-performance open source native XML database – a NoSQL document database and application platform built entirely around XML technologies.
- NoSQL
- open source
- XML
- Java
- XQuery
- GAP
- + 11
Trimmomatic
Trimmomatic is a command line tool that performs a variety of functions for Illumina paired-end and single-end sequencing data, including sequence trimming and adapter removal. It is a flexible and efficient NGS preprocessing tool, which greatly improves downstream applications.
- Earth & Environment
- Illumina
- NGS
- Java
- Dockerfile