Skip to content
@MPI-SWS

MPI-SWS

Max Planck Institute for Software Systems

Popular repositories

  1. genmc genmc Public

    Generic model checker for concurrent C programs (mirror repository)

    C++ 89 17

  2. xtrace-shiviz xtrace-shiviz Public

    Visualization of X-Trace trace data using ShiViz

    Go 2

  3. kater kater Public

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

    C++ 2

  4. daisy daisy Public

    Forked from malyzajko/daisy

    A framework for analysis and optimization of numerical programs

    Scala 1

  5. tpprl tpprl Public

    Forked from Networks-Learning/tpprl

    Deep Reinforcement Learning of Marked Temporal Point Processes

    Python 1

  6. RedQueen RedQueen Public

    Forked from Networks-Learning/RedQueen

    RedQueen: An Online Algorithm for Smart Broadcasting on Social Networks

    Jupyter Notebook 1

Repositories

Showing 10 of 38 repositories