System update scheduled for Friday, December 1st between 08:15 and 08:45 CET. If unpleasant, please contact Andreas or Markus.

Explore projects

M

Max Leuthäuser / most-task-scroll-robot

0

Updated Sep 25, 2020

0 0 0 0

Updated Sep 25, 2020
M

Max Leuthäuser / most-task-scroll-bank

0

Updated Sep 25, 2020

0 0 0 0

Updated Sep 25, 2020
R

Christopher / rsum

Combination of RSUM and RSYNC including the query by-example approach.

0

Updated Sep 25, 2020

0 0 0 0

Updated Sep 25, 2020
C

Christopher / code_generator

Project generate Scala Code for RSync and RSUM applications.

0

Updated Mar 20, 2021

0 0 0 8

Updated Mar 20, 2021
P

rosi / parallel-rsync

COP21: Resolving Synchronization Conflicts in Role-based Multimodel-Synchronization Environments

0

Updated Apr 26, 2021

0 0 0 0

Updated Apr 26, 2021
ttc / BDD
MIT License

The RelRAG and RSYNC implementations of the 2019 TTC case

0

Updated Jul 31, 2023

0 0 0 0

Updated Jul 31, 2023