Explore projects

View cup project

Peter Zeller / cup
Other

0

Updated Apr 26, 2016

0 0 0 0

Updated Apr 26, 2016
View tla-examples project

Annette Bieniusa / tla-examples

0

Updated Nov 06, 2020

0 0 0 0

Updated Nov 06, 2020
View jcobox project

ag / jcobox
GNU General Public License v3.0 only

0

Updated Apr 27, 2016

0 0 0

Updated Apr 27, 2016
View junitrunner project

ag / junitrunner

Run JUnit tests from the commandline (used for SE1 lecture).

0

Updated Dec 08, 2017

0 0 0 0

Updated Dec 08, 2017
View simpleprelude project

ag / simpleprelude
BSD 3-Clause "New" or "Revised" License

0

Updated Apr 27, 2016

0 0 0

Updated Apr 27, 2016
View isabelle_crdt_apps project

Peter Zeller / isabelle_crdt_apps

0

Updated Sep 30, 2015

0 0 0 0

Updated Sep 30, 2015
View MaterialsGP project

StudyGroup / MaterialsGP

0

Updated Nov 16, 2022

0 0 0 0

Updated Nov 16, 2022
View mdt_java project

Deepthi Akkoorath / mdt_java

Mergeable Data Types implementation in Java

0

Updated Sep 11, 2018

0 0

Updated Sep 11, 2018
View beamerlatex_rptu project

Annette Bieniusa / beamerlatex_rptu
MIT License

0

Updated Mar 17, 2023

0 0 0 0

Updated Mar 17, 2023
View mtm project

Deepthi Akkoorath / mtm
BSD 3-Clause "New" or "Revised" License

Mergable Transactional Memory in c++

0

Updated Jun 20, 2016

0 0

Updated Jun 20, 2016
View beaver project

Peter Zeller / beaver
BSD 2-Clause "Simplified" License

0

Updated Apr 26, 2016

0 0 0 0

Updated Apr 26, 2016
View bcverifier project

ag / bcverifier

0

Updated Nov 02, 2017

0 0 0

Updated Nov 02, 2017
View probabilistic_inference project

Annette Bieniusa / probabilistic_inference

0

Updated Sep 19, 2017

0 0 0 0

Updated Sep 19, 2017
View ex1 project

Team Monkey Island / ex1

0

Updated Aug 05, 2025

0 0 0 0

Updated Aug 05, 2025
View ex1 project

ex1 / ex1

0

Updated Apr 30, 2025

0 0 0 0

Updated Apr 30, 2025
View lamport-jenkins-antidote project

Peter Zeller / lamport-jenkins-antidote

0

Updated Dec 12, 2019

0 0 0 0

Updated Dec 12, 2019
View bugtracktest project

Mathias Weber / bugtracktest

0

Updated Dec 12, 2017

0 0

Updated Dec 12, 2017
View Documentation project

BASF-labbook / Documentation

0

Updated Aug 19, 2024

0 0 0 0

Updated Aug 19, 2024
View acgregate-java project

Mathias Weber / acgregate-java

0

Updated Jul 18, 2018

0 0 0 0

Updated Jul 18, 2018
View CRDT Showcase project

research / CRDT Showcase
MIT License

0

Updated Jun 12, 2025

0 0 0 0

Updated Jun 12, 2025