All software
CP2K
CP2K is a quantum chemistry and solid state physics software package running on graphics processing units and thousands of processing units. It is open-source and allows simulations, spectroscopy, vibrational analysis and energy minimization on a vast variety of theory levels.
- electronic structure
- GPU
- High performance computing
- + 5
- Fortran
- C
- Python
- + 13
KeY
KeY is a deductive verification system for Java programs
- Deductive Verification
- First-Order Logic
- Formal Verification
- + 3
- Java
- HTML
- ANTLR
- + 15
FAIRCORE4EOSC
FAIRCORE4EOSC: Beta Release Demo (Archive, Reference, Describe, Cite)
- Codemeta Converter
- Codemeta Crosswalk
- Codemeta.json
- + 5
- PHP
- Blade
- CSS
- + 3
JURI
JURI (Jülich Reporting Interface) provides a template-driven fully client-based web framework to visualise data lists and associated data graphs.
- JavaScript
- HTML
- CSS
- + 5
mobile Drilling Information System (mDIS)
mDIS is a database management application for capturing and curating meta data on geological samples, drilling progress, and related datasets such as images or geophysical well logs. It is easily adaptable and ensures that all data is compiled and quality controlled in one place.
- data management
- drilling
- Earth & Environment
- + 1
- PHP
- Vue
- JavaScript
- + 2
php-codemeta-crosswalk
Codemeta conversions tool
- BibLatex
- BibTex
- Codemeta Converter
- + 5
- PHP
SWH-Client
Software Heritage API Client
- FAIR Software
- Merkle DAG
- PHP-Client
- + 1
- PHP