Repositories list

• surveyor

  Public
  Simple benchmarking tool

  Python

  •

  MIT License

  •0•0•6•0•Updated Nov 7, 2024Nov 7, 2024

• RoFI

  Public
  Distributed Metamorphic Robots

  C++

  •

  Other

  •10•37•51•11•Updated Oct 3, 2024Oct 3, 2024

• carma

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

  C++

  •

  Apache License 2.0

  •24•0•0•0•Updated Oct 19, 2022Oct 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++

  •3•20•0•0•Updated Mar 21, 2021Mar 21, 2021

• rofi-lwip

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

  C

  •

  Other

  •130•1•0•0•Updated Apr 28, 2020Apr 28, 2020

• SymDIVINE

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

  C++

  •

  MIT License

  •2•6•2•0•Updated Mar 19, 2019Mar 19, 2019

• sv-benchmarks

  Public
  Collection of Verification Tasks

  C

  •170•0•0•0•Updated Oct 29, 2018Oct 29, 2018

• extbench-drivers

  Public
  Drivers for external tools for DivBench

  Python

  •

  BSD 2-Clause "Simplified" License

  •0•0•0•0•Updated Apr 9, 2018Apr 9, 2018

• utils

  Public
  Miscellaneous utilities and scripts

  Shell

  •

  BSD 2-Clause "Simplified" License

  •0•0•0•0•Updated Mar 24, 2018Mar 24, 2018

• dipot

  Public
  Interface between SPOT and DIVINE

  C++

  •

  GNU General Public License v3.0

  •2•6•2•0•Updated Feb 6, 2018Feb 6, 2018

• bricks

  Public
  Header-only C++ utility library

  C++

  •1•8•0•0•Updated Nov 12, 2017Nov 12, 2017