NicolasRouquette

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/sbt.problem.example

SBT problem with resolving an SBT plugin published to a Maven repository

NicolasRouquette/github-workflow-13

NicolasRouquette/qvto

Model-to-Model Transformation (MMT) project repository (qvto)

NicolasRouquette/sbt-ide-settings

SBT plugin for tweaking various IDE settings

NicolasRouquette/sbt-sonatype

A sbt plugin for publishing Scala/Java projects to the Maven central.

NicolasRouquette/sbt.mavenResolverPlugin.problem

NicolasRouquette/scala

The Scala programming language

NicolasRouquette/scala-ide

Scala IDE for Eclipse

NicolasRouquette/scalameta

Simple, robust and portable metaprogramming toolkit for Scala

NicolasRouquette/sjson

Scala Json with capabilities for Scala Object Serialization

NicolasRouquette/spray

A suite of scala libraries for building and consuming RESTful web services on top of Akka: lightweight, asynchronous, non-blocking, actor-based, testable