Popular repositories Loading

1. VoxLogicA-UI VoxLogicA-UI Public

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

   TypeScript 6 2

2. VoxLogicA-2 VoxLogicA-2 Public

   Python 1

3. Symbolic_and_Hybrid_AI_for_Brain_Tissue_Segmentation_using_Spatial_Model_Checking-DATA Symbolic_and_Hybrid_AI_for_Brain_Tissue_Segmentation_using_Spatial_Model_Checking-DATA Public

   Data release for the paper Symbolic and Hybrid AI for Brain Tissue Segmentation using Spatial Model Checking

   1

4. FM2023-Validation FM2023-Validation Public

   Python

5. mCRL2_voxlogica mCRL2_voxlogica Public archive

   Forked from mCRL2org/mCRL2

   The Git repository for the mCRL2 toolset.

   C++

6. VoxLogicA-GPU VoxLogicA-GPU Public

   Forked from vincenzoml/VoxLogicA