Skip to content
@paradise-fi

ParaDiSe

Pinned Loading

  1. RoFI Public

    Distributed Metamorphic Robots

    C++ 40 10

  2. divine Public

    DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be reported using https://divine.fi.muni.cz/trac/report/1. Pull re…

    C++ 21 3

  3. dipot Public

    Interface between SPOT and DIVINE

    C++ 6 2

  4. bricks Public

    Header-only C++ utility library

    C++ 8 1

Repositories

Showing 10 of 11 repositories
  • RoFI Public

    Distributed Metamorphic Robots

    C++ 40 10 51 11 Updated Apr 1, 2025
  • surveyor Public

    Simple benchmarking tool

    Python 0 MIT 0 6 0 Updated Nov 7, 2024
  • carma Public Forked from RUrlus/carma

    Converters between Armadillo matrices (C++) and Numpy arrays using Pybind11

    C++ 0 Apache-2.0 25 0 0 Updated Oct 19, 2022
  • divine Public

    DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be reported using https://divine.fi.muni.cz/trac/report/1. Pull requests here will not be accepted. If you wish to contribute, please contatct us by e-mail.

    C++ 21 3 0 0 Updated Mar 21, 2021
  • rofi-lwip Public Forked from espressif/esp-lwip

    Fork of lwIP with ESP-IDF specific patches (https://github.com/espressif/esp-lwip). Simple routing support added.

    C 1 136 0 0 Updated Apr 28, 2020
  • SymDIVINE Public archive

    No longer maintained: Verification tool for parallel C/C++ programs with LTL support

    C++ 7 MIT 2 2 0 Updated Mar 19, 2019
  • sv-benchmarks Public Forked from sosy-lab/sv-benchmarks

    Collection of Verification Tasks

    C 0 169 0 0 Updated Oct 29, 2018
  • extbench-drivers Public

    Drivers for external tools for DivBench

    Python 0 BSD-2-Clause 0 0 0 Updated Apr 9, 2018
  • utils Public

    Miscellaneous utilities and scripts

    Shell 0 BSD-2-Clause 0 0 0 Updated Mar 24, 2018
  • dipot Public

    Interface between SPOT and DIVINE

    C++ 6 GPL-3.0 2 2 0 Updated Feb 6, 2018
View all repositories

Top languages

Loading…

Most used topics

Loading…