Pinned Repositories
computational-hypergraph
dimensional-calculus.lean4
fuseki-reasoning-example
Examples for SO questions related to Fuseki
learningFS2
This material is based on the excellent examples from [`appddeevv`'s fs2 user notes](https://www.gitbook.com/book/aappddeevv/test_private_book/details)
lunatech-scala-2-to-scala3-course
Demonstration of a weird compilation error.
metrology-vocabularies
A set of vocabularies about metrology
oml.lean4
Experiments in defining the Ontological Modeling Language in Lean4
sbt.problem.example
SBT problem with resolving an SBT plugin published to a Maven repository
scala3-bundle-closure
OML Bundle Closure implementation in Scala3
YatimaGraphLib
Extracted Yatima's Lean4 Graph as a generic library
NicolasRouquette's Repositories
NicolasRouquette/fuseki-reasoning-example
Examples for SO questions related to Fuseki
NicolasRouquette/YatimaGraphLib
Extracted Yatima's Lean4 Graph as a generic library
NicolasRouquette/computational-hypergraph
NicolasRouquette/dimensional-calculus.lean4
NicolasRouquette/metrology-vocabularies
A set of vocabularies about metrology
NicolasRouquette/oml.lean4
Experiments in defining the Ontological Modeling Language in Lean4
NicolasRouquette/scala3-bundle-closure
OML Bundle Closure implementation in Scala3
NicolasRouquette/almond
A Scala kernel for Jupyter
NicolasRouquette/bikeshed
:bike: A preprocessor for anyone writing specifications that converts source files into actual specs.
NicolasRouquette/core-vocabularies
A set of core vocabularies expressed in OML
NicolasRouquette/cs-biocircuits
NicolasRouquette/cs-multiagent-planning
NicolasRouquette/cs-vehicle-perception
Contract-based design for evaluating perception in the context of system-level specifications
NicolasRouquette/daut
Monitoring framework in Scala.
NicolasRouquette/daut-ros2
NicolasRouquette/fastcat
C++ EtherCAT Device Command & Control Library
NicolasRouquette/fpp
F Prime Prime: A modeling language for F Prime
NicolasRouquette/graphviz-java
Use graphviz with pure java
NicolasRouquette/jsd
Just SOEM Drivers
NicolasRouquette/math2001
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
NicolasRouquette/matlab-devcontainer
Running a Matlab Ubuntu image using Development Container
NicolasRouquette/oml
Ontological Modeling Language (OML)
NicolasRouquette/oml-tutorial-viewpoint
A viewpoint for the Oml tutorial
NicolasRouquette/owl-adapter
The OML adapter for OWL
NicolasRouquette/owl-tools
A set of analysis tools for OWL
NicolasRouquette/owlapi
OWL API main repository
NicolasRouquette/pacti
A package for compositional system analysis and design
NicolasRouquette/reftree
Automatically generated diagrams and animations for Scala data structures
NicolasRouquette/viper-bundle-closure
OML Bundle Closure Algorithm in the Viper verification infrastructure intermediate language
NicolasRouquette/vscode-devc-ubuntu-desktop
Reproducible problem for https://github.com/devcontainers/features/issues/762