Repositories list

• seav

  Public
  Software Engineering for Autonomous Vehicles

  Python

  •0•1•0•0•Updated Mar 26, 2025Mar 26, 2025

• fm-playground

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

  z3formal-methodsalloy+ 10sat-solverspectrasmt2smt-solversmvnuxmvalloy-analyzer+ 3

  TypeScript

  •

  MIT License

  •3•11•0•1•Updated Feb 25, 2025Feb 25, 2025

• umami

  Public
  Umami is a simple, fast, privacy-focused alternative to Google Analytics.

  TypeScript

  •

  MIT License

  •4.7k•0•0•0•Updated Feb 25, 2025Feb 25, 2025

• alloy-metrics

  Public
  Artifacts for the paper "On Writing Alloy Models: Metrics and a new Dataset"

  metricsformal-methodsalloy+ 3formal-specificationhalstead-metricsformal-methods-teaching

  Python

  •

  MIT License

  •0•0•0•0•Updated Feb 14, 2025Feb 14, 2025

• limboole-langium

  Public
  Limboole Language Server

  TypeScript

  •0•2•0•0•Updated Jan 14, 2025Jan 14, 2025

• fm4se-ltl-modelchecking

  Public template
  Java

  •

  Apache License 2.0

  •0•0•0•0•Updated Jan 6, 2025Jan 6, 2025

• fm4se-java-smt-pc-config

  Public template
  Java

  •

  Apache License 2.0

  •0•0•0•0•Updated Dec 9, 2024Dec 9, 2024

• fm4se-alloy-sigs-checker

  Public template
  A template for checking simple checks of Alloy modules using the Alloy 6 APIs.

  Java

  •

  Apache License 2.0

  •0•0•0•0•Updated Dec 9, 2024Dec 9, 2024

• fm4se-alloy-solving

  Public template
  Java

  •

  Apache License 2.0

  •0•0•0•0•Updated Dec 2, 2024Dec 2, 2024

• fm4se-smtsolving

  Public template
  Java

  •

  Apache License 2.0

  •0•0•0•0•Updated Nov 11, 2024Nov 11, 2024

• javafx-gradle-template

  Public template
  basic starter project for JavaFX with gralde (minimum Java 15 required)

  Java

  •0•0•0•0•Updated Nov 6, 2024Nov 6, 2024

• fm4se-rbac

  Public template
  Java

  •

  Apache License 2.0

  •0•0•0•0•Updated Oct 29, 2024Oct 29, 2024

• fm4se-satsolving

  Public template
  Java

  •

  Apache License 2.0

  •1•0•0•0•Updated Oct 25, 2024Oct 25, 2024

• fm4se-featuremodels

  Public template
  Java

  •

  Apache License 2.0

  •0•0•0•0•Updated Jul 18, 2024Jul 18, 2024

• fm4se-alloy-christmas

  Public template
  Java

  •

  Apache License 2.0

  •0•0•0•0•Updated Jul 17, 2024Jul 17, 2024

• abt

  Public
  Analysis of Behavior Trees

  C++

  •0•0•0•0•Updated Jul 4, 2024Jul 4, 2024

• gendev.lab2

  Public template
  Java

  •0•0•0•0•Updated Jun 13, 2024Jun 13, 2024

• emf-tutorial-part1

  Public
  Java

  •0•0•0•0•Updated May 14, 2024May 14, 2024

• fm4se-alloy-cli-template

  Public template
  Java

  •0•0•0•0•Updated Jan 26, 2024Jan 26, 2024

• nutri-buddy

  Public
  Java

  •

  Apache License 2.0

  •1•1•0•0•Updated Jan 21, 2024Jan 21, 2024

• money-buddy

  Public
  Java

  •

  Apache License 2.0

  •0•1•0•0•Updated Jan 21, 2024Jan 21, 2024

• slither-buddy

  Public
  Java

  •

  Apache License 2.0

  •0•1•0•0•Updated Jan 21, 2024Jan 21, 2024

• mandala-buddy

  Public
  Java

  •

  Apache License 2.0

  •0•1•0•0•Updated Jan 20, 2024Jan 20, 2024

• python-poetry-template

  Public template
  A template for python projects with poetry as package manager

  Python

  •0•0•0•0•Updated Nov 5, 2023Nov 5, 2023

• java-gradle-template

  Public template
  A template java project usiing gradle and basic dependencies

  Java

  •0•1•0•0•Updated Oct 28, 2023Oct 28, 2023

• gendev.lab1

  Public template
  Java

  •0•0•1•0•Updated May 30, 2023May 30, 2023

• setav-II

  Public
  Python

  •1•1•0•0•Updated Mar 31, 2023Mar 31, 2023

• transfer_learning-mnet-knn

  Public
  Python

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Feb 3, 2023Feb 3, 2023

• gotchi-tamer

  Public
  Java

  •1•2•0•0•Updated Jan 22, 2023Jan 22, 2023

• koch-app

  Public
  Java

  •0•0•0•1•Updated Jan 19, 2023Jan 19, 2023