Giters
ParaDiSe (paradise-fi)

ParaDiSe

paradise-fi

Geek Repo

Location:Faculty of Informatics, Masaryk University; Brno, Czech Republic

Home Page:paradise.fi.muni.cz

Github PK Tool:Github PK Tool

ParaDiSe's repositories

RoFI

Distributed Metamorphic Robots

Language:C++License:NOASSERTIONStargazers:37Issues:5Issues:100

divine

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.

Language:C++Stargazers:19Issues:6Issues:0

bricks

Header-only C++ utility library

Language:C++Stargazers:8Issues:5Issues:0

dipot

Interface between SPOT and DIVINE

Language:C++License:GPL-3.0Stargazers:6Issues:3Issues:2

SymDIVINE

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

Language:C++License:MITStargazers:6Issues:3Issues:6

rofi-lwip

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

Language:CLicense:NOASSERTIONStargazers:1Issues:1Issues:0

carma

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

Language:C++License:Apache-2.0Stargazers:0Issues:1Issues:0

extbench-drivers

Drivers for external tools for DivBench

Language:PythonLicense:BSD-2-ClauseStargazers:0Issues:3Issues:0

surveyor

Simple benchmarking tool

Language:PythonLicense:MITStargazers:0Issues:5Issues:7

sv-benchmarks

Collection of Verification Tasks

Language:CStargazers:0Issues:3Issues:0

utils

Miscellaneous utilities and scripts

Language:ShellLicense:BSD-2-ClauseStargazers:0Issues:10Issues:0