All software
1Filter
Mentions
Keywords
22
Program languages
23
Licenses
4
12
1-6 of 6
KeY
KeY is a deductive verification system for Java programs
- Deductive Verification
- First-Order Logic
- Formal Verification
- + 3
- Java
- ANTLR
- Perl
- + 14
36
1096
FAIRCORE4EOSC
FAIRCORE4EOSC: Beta Release Demo (Archive, Reference, Describe, Cite)
- Codemeta Converter
- Codemeta Crosswalk
- Codemeta.json
- + 5
- PHP
- Blade
- CSS
- + 3
1
0
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
3
0
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
6
0
php-codemeta-crosswalk
Codemeta conversions tool
- BibLatex
- BibTex
- Codemeta Converter
- + 5
- PHP
1
0
SWH-Client
Software Heritage API Client
- FAIR Software
- Merkle DAG
- PHP-Client
- + 1
- PHP
2
0