Skip to content
@VoxLogicA-Project

VoxLogicA-Project

Popular repositories Loading

  1. FM2023-Validation FM2023-Validation Public

    Python

  2. mCRL2_voxlogica mCRL2_voxlogica Public archive

    Forked from mCRL2org/mCRL2

    The Git repository for the mCRL2 toolset.

    C++

  3. VoxLogicA-GPU VoxLogicA-GPU Public

    Forked from vincenzoml/VoxLogicA

  4. Polyhedra-minimisation Polyhedra-minimisation Public

    A toolchain for minimisation and model checking of polyhedra.

    JavaScript

Repositories

Showing 4 of 4 repositories
  • 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 38 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

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…