MPI-SWS

Popular repositories Loading

1. genmc genmc Public

   Generic model checker for concurrent C programs (mirror repository)

   C++ 215 33

2. kater kater Public

   Automating weak memory model metatheory and consistency checking (mirror repository)

   C++ 8 2

3. daisy daisy Public

   Forked from malyzajko/daisy

   A framework for analysis and optimization of numerical programs

   Scala 2

4. pgcd pgcd Public

   Robot Programming and Verification with Geometry, Concurrency, and Dynamics

   Python 2 1

5. xtrace-shiviz xtrace-shiviz Public

   Visualization of X-Trace trace data using ShiViz

   Go 2

6. tpprl tpprl Public

   Forked from Human-Centric-Machine-Learning/tpprl

   Deep Reinforcement Learning of Marked Temporal Point Processes

   Python 1