All software
JMLtk
A Toolkit for the Java Modeling Language containing JML/Java parser, AST, mid- (like code transformations) to high-level tools (like verification condition and stub generation, JML statistics).
- Java
- Kotlin
- Gherkin
- + 5
MetaStore
MetaStore is a research data repository software for storing metadata documents and schemas. Quality and consistency are ensured by associating and validating each document against a schema. It supports JSON and XML.
- data managment
- FAIR Data
- metadata
- + 1
- Java
- JavaScript
- HTML
- + 3
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
- + 1
Typed PID Maker
The Typed PID Maker enables the creation, maintenance, and validation of PIDs. It ensures the PID contains typed, machine-actionable information using validation. This is especially helpful in the context of FAIR Digital Objects (FAIR DOs / FDOs).
- data managment
- FAIR Data
- FAIR Software
- + 2
- Java
- Hurl
- Shell