Repositories list

• Spatio-temporal-experiments

  Public
  Experimental toolchain for spatio-temporal analysis in VoxLogicA

  Python

  •0•0•0•0•Updated Feb 13, 2025Feb 13, 2025

• VoxLogicA-2

  Public
  F#

  •0•0•0•0•Updated Jan 31, 2025Jan 31, 2025

• VoxLogicA-UI

  Public
  A modern web interface for VoxLogicA, the Voxel-based Logical Analyser.

  healthneuroimagingneuroimaging-analysis+ 4tailwind-cssskeleton-uiniivuesvelte5

  TypeScript

  •

  GNU General Public License v3.0

  •1•2•0•0•Updated Jan 27, 2025Jan 27, 2025

• Polyhedra-minimisation

  Public
  A toolchain for minimisation and model checking of polyhedra.

  JavaScript

  •0•0•0•0•Updated Oct 15, 2024Oct 15, 2024

• mCRL2_voxlogica

  Public archive
  The Git repository for the mCRL2 toolset.

  C++

  •

  Boost Software License 1.0

  •40•0•0•0•Updated Oct 13, 2023Oct 13, 2023

• VoxLogicA-GPU

  Public
  4•0•0•0•Updated Sep 6, 2023Sep 6, 2023

• FM2023-Validation

  Public
  Python

  •

  Apache License 2.0

  •0•0•0•0•Updated Dec 3, 2022Dec 3, 2022