Nicolas Rouquette's repositories
daut
Monitoring framework in Scala.
vscode-devc-ubuntu-desktop
Reproducible problem for https://github.com/devcontainers/features/issues/762
fuseki-reasoning-example
Examples for SO questions related to Fuseki
cs-vehicle-perception
Contract-based design for evaluating perception in the context of system-level specifications
pacti
A package for compositional system analysis and design
matlab-devcontainer
Running a Matlab Ubuntu image using Development Container
oml.lean4
Experiments in defining the Ontological Modeling Language in Lean4
bikeshed
:bike: A preprocessor for anyone writing specifications that converts source files into actual specs.
almond
A Scala kernel for Jupyter
scala3-bundle-closure
OML Bundle Closure implementation in Scala3
YatimaGraphLib
Extracted Yatima's Lean4 Graph as a generic library
viper-bundle-closure
OML Bundle Closure Algorithm in the Viper verification infrastructure intermediate language
fpp
F Prime Prime: A modeling language for F Prime
metrology-vocabularies
A set of vocabularies about metrology
core-vocabularies
A set of core vocabularies expressed in OML
reftree
Automatically generated diagrams and animations for Scala data structures
owl-adapter
The OML adapter for OWL
owl-tools
A set of analysis tools for OWL
oml-tutorial-viewpoint
A viewpoint for the Oml tutorial
oml
Ontological Modeling Language (OML)
owlapi
OWL API main repository
graphviz-java
Use graphviz with pure java
gradle-nested-property-test
A reproducible error with gradle custom task and a @Nested property.