Repositories list

• smt-metrics

  Public
  Artifacts for the paper "On Writing SMT-LIB Scripts: Metrics and a new Dataset"

  smtsmt-lib

  Python

  •

  MIT License

  •0•0•0•0•Updated Aug 10, 2025Aug 10, 2025

• umami

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

  TypeScript

  •

  MIT License

  •5.4k•0•0•0•Updated Aug 7, 2025Aug 7, 2025

• smt-langium

  Public
  TypeScript

  •0•1•0•0•Updated Aug 4, 2025Aug 4, 2025

• seav-ii

  Public
  CMake

  •0•0•0•0•Updated Jul 9, 2025Jul 9, 2025

• gse

  Public
  HTML

  •0•0•0•0•Updated Jul 2, 2025Jul 2, 2025

• gendev.lab2

  Public template
  Java

  •0•0•0•0•Updated Jun 3, 2025Jun 3, 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 May 19, 2025May 19, 2025

• javafx-gradle-template

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

  Java

  •0•0•0•0•Updated Apr 29, 2025Apr 29, 2025

• gendev.lab1

  Public template
  Java

  •0•0•0•0•Updated Apr 28, 2025Apr 28, 2025

• emf-tutorial-part1

  Public
  Java

  •0•0•0•0•Updated Apr 27, 2025Apr 27, 2025

• seav

  Public
  Software Engineering for Autonomous Vehicles

  C++

  •2•1•8•0•Updated Apr 13, 2025Apr 13, 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

• 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

• 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•2•0•0•Updated Jan 21, 2024Jan 21, 2024

• money-buddy

  Public
  Java

  •

  Apache License 2.0

  •0•2•0•0•Updated Jan 21, 2024Jan 21, 2024

• slither-buddy

  Public
  Java

  •

  Apache License 2.0

  •0•2•0•0•Updated Jan 21, 2024Jan 21, 2024

• mandala-buddy

  Public
  Java

  •

  Apache License 2.0

  •0•2•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

• setav-II

  Public
  Python

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