NicolasRouquette

YatimaGraphLib

Extracted Yatima's Lean4 Graph as a generic library

computational-hypergraph

dimensional-calculus.lean4

metrology-vocabularies

A set of vocabularies about metrology

oml.lean4

Experiments in defining the Ontological Modeling Language in Lean4

scala3-bundle-closure

OML Bundle Closure implementation in Scala3

almond

A Scala kernel for Jupyter

bikeshed

:bike: A preprocessor for anyone writing specifications that converts source files into actual specs.

core-vocabularies

A set of core vocabularies expressed in OML

cs-biocircuits

cs-multiagent-planning

cs-vehicle-perception

Contract-based design for evaluating perception in the context of system-level specifications

daut

Monitoring framework in Scala.

daut-ros2

description-graphs

fpp

F Prime Prime: A modeling language for F Prime

fuseki-reasoning-example

Examples for SO questions related to Fuseki

gradle-nested-property-test

A reproducible error with gradle custom task and a @Nested property.

graphviz-java

Use graphviz with pure java

matlab-devcontainer

Running a Matlab Ubuntu image using Development Container

oml

Ontological Modeling Language (OML)

oml-tutorial

oml-tutorial-viewpoint

A viewpoint for the Oml tutorial

owl-adapter

The OML adapter for OWL

owl-tools

A set of analysis tools for OWL

owlapi

OWL API main repository

pacti

A package for compositional system analysis and design

reftree

Automatically generated diagrams and animations for Scala data structures

viper-bundle-closure

OML Bundle Closure Algorithm in the Viper verification infrastructure intermediate language

vscode-devc-ubuntu-desktop

Reproducible problem for https://github.com/devcontainers/features/issues/762