Skip to content
@VoxLogicA-Project

VoxLogicA-Project

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

Repositories

Showing 7 of 7 repositories
  • Spatio-temporal-experiments Public

    Experimental toolchain for spatio-temporal analysis in VoxLogicA

    VoxLogicA-Project/Spatio-temporal-experiments’s past year of commit activity
    Python 0 0 0 0 Updated Feb 13, 2025
  • VoxLogicA-2 Public
    VoxLogicA-Project/VoxLogicA-2’s past year of commit activity
    F# 0 0 0 0 Updated Jan 31, 2025
  • VoxLogicA-UI Public

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

    VoxLogicA-Project/VoxLogicA-UI’s past year of commit activity
    TypeScript 2 GPL-3.0 1 0 0 Updated Jan 27, 2025
  • Polyhedra-minimisation Public

    A toolchain for minimisation and model checking of polyhedra.

    VoxLogicA-Project/Polyhedra-minimisation’s past year of commit activity
    JavaScript 0 0 0 0 Updated Oct 15, 2024
  • mCRL2_voxlogica Public archive Forked from mCRL2org/mCRL2

    The Git repository for the mCRL2 toolset.

    VoxLogicA-Project/mCRL2_voxlogica’s past year of commit activity
    C++ 0 BSL-1.0 40 0 0 Updated Oct 13, 2023
  • VoxLogicA-GPU Public Forked from vincenzoml/VoxLogicA
    VoxLogicA-Project/VoxLogicA-GPU’s past year of commit activity
    0 4 0 0 Updated Sep 6, 2023
  • FM2023-Validation Public
    VoxLogicA-Project/FM2023-Validation’s past year of commit activity
    Python 0 Apache-2.0 0 0 0 Updated Dec 3, 2022

Top languages

Loading…

Most used topics

Loading…