Popular repositories Loading

1. VoxLogicA-UI VoxLogicA-UI Public

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

   TypeScript 2 1

2. FM2023-Validation FM2023-Validation Public

   Python

3. mCRL2_voxlogica mCRL2_voxlogica Public archive

   Forked from mCRL2org/mCRL2

   The Git repository for the mCRL2 toolset.

   C++

4. VoxLogicA-GPU VoxLogicA-GPU Public

   Forked from vincenzoml/VoxLogicA

5. Polyhedra-minimisation Polyhedra-minimisation Public

   A toolchain for minimisation and model checking of polyhedra.

   JavaScript

6. Spatio-temporal-experiments Spatio-temporal-experiments Public

   Experimental toolchain for spatio-temporal analysis in VoxLogicA

   Python