Skip to content

Navigation Menu

paradise-fi

Explore
For
- Enterprise
- Teams
- Startups
- Education
By Solution
Resources
- GitHub Sponsors
  Fund open source developers
- The ReadME Project
  GitHub community articles
Repositories
- Enterprise platform
  AI-powered developer platform
Available add-ons
Pricing

Search code, repositories, users, issues, pull requests...

Search

Clear

Search syntax tips

Provide feedback

We read every piece of feedback, and take your input very seriously.

Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Name

Query

To see all available qualifiers, see our documentation.

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.

Dismiss alert

ParaDiSe

4 followers
Faculty of Informatics, Masaryk University; Brno, Czech Republic
http://paradise.fi.muni.cz

Overview
Repositories
Projects
Packages
People

More

Overview
Repositories
Projects
Packages
People

Pinned

RoFI RoFI Public

Distributed Metamorphic Robots

C++ 35 10
divine 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++ 19 3
dipot dipot Public

Interface between SPOT and DIVINE

C++ 6 2
bricks bricks Public

Header-only C++ utility library

C++ 8 1

Repositories

Type

Select type

All Public Sources Forks Archived Mirrors Templates

Language

Select language

All C C++ Python Shell

Sort

Select order

Last updated Name Stars

Showing 10 of 11 repositories

RoFI Public
Distributed Metamorphic Robots

C++ 35 10 51 10 Updated Jun 1, 2024
surveyor Public
Simple benchmarking tool

Python 0 MIT 0 6 0 Updated Nov 23, 2023
carma Public Forked from RUrlus/carma
Converters between Armadillo matrices (C++) and Numpy arrays using Pybind11

C++ 0 Apache-2.0 24 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++ 19 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 126 0 0 Updated Apr 28, 2020
SymDIVINE Public archive
No longer maintained: Verification tool for parallel C/C++ programs with LTL support

C++ 6 MIT 3 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

People

Top languages

Loading…

Most used topics

Loading…

Footer

© 2024 GitHub, Inc.

Footer navigation

Terms
Privacy
Security
Status
Docs
Contact

You can’t perform that action at this time.