ParaDiSe (@paradise-fi)
Guthub

paradise-fi

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    74
  • Global Org. Rank 65,871 (Top 22 %)
  • Registered almost 7 years ago
  • Most used languages
    C++
         100.0 %
  • Location 🇨🇿 Czechia
  • Country Total Rank 1,239
  • Country Ranking
    C++
         82

Top repositories

1

RoFI

Distributed Metamorphic Robots
C++
35
star
2

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.
C++
18
star
3

bricks

Header-only C++ utility library
C++
8
star
4

dipot

Interface between SPOT and DIVINE
C++
6
star
5

SymDIVINE

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