Skip to content
@MPI-SWS

MPI-SWS

Max Planck Institute for Software Systems

Popular repositories Loading

  1. genmc genmc Public

    Generic model checker for concurrent C programs (mirror repository)

    C++ 137 21

  2. kater kater Public

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

    C++ 3

  3. daisy daisy Public

    Forked from malyzajko/daisy

    A framework for analysis and optimization of numerical programs

    Scala 2

  4. xtrace-shiviz xtrace-shiviz Public

    Visualization of X-Trace trace data using ShiViz

    Go 2

  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

Top languages

Loading…

Most used topics

Loading…