Pinned

1. fm-playground fm-playground Public

   A Formal Method playground for limboole, Z3, nuXmv, and Alloy

   JavaScript 4 1

2. java-gradle-template java-gradle-template Public template

   A template java project usiing gradle and basic dependencies

   Java 1

3. python-poetry-template python-poetry-template Public template

   A template for python projects with poetry as package manager

   Python

4. gendev.lab1 gendev.lab1 Public template

   Java

5. fm4se-alloy-cli-template fm4se-alloy-cli-template Public template

   Java