Explore projects

C

Nikolai Käfer / CPrAA - A Checker for Probabilistic Abstract Argumentation
MIT License

CPrAA - A Checker for Probabilistic Abstract Argumentation

0

Updated Sep 18, 2024

0 0 0 0

Updated Sep 18, 2024
C

Maximilian Köhl / CP23 Fearless Concurrency with Rust

Examples of my lecture on fearless concurrency with Rust.

0

Updated Jun 09, 2023

0 0 0 0

Updated Jun 09, 2023
C

Jonathan Müller / CP-Fuzzer

1

Updated Jul 18, 2023

1 0 0 0

Updated Jul 18, 2023
C

pseuco / concurrent-programming-web
GNU Affero General Public License v3.0

pseuCo.com

1

Updated Jan 03, 2025

1 3 0 19

Updated Jan 03, 2025
C

Florian Schießl / concurrent-programming-web
GNU Affero General Public License v3.0

pseuCo.com

0

Updated May 22, 2019

0 0 0 0

Updated May 22, 2019
C

pseuco / colored-petri-nets
Other

JavaScript implementation of CPN and CPN++

0

Updated Jan 29, 2024

0 0 0 0

Updated Jan 29, 2024
C

Andreas Schmidt / cahntemplating

0

Updated Feb 29, 2024

0 0 0 0

Updated Feb 29, 2024
A

Nikolai Käfer / Admissibility in Probabilistic Argumentation

Supplement material and test results for the paper "Admissibility in Probabilistic Argumentation".

0

Updated Apr 06, 2021

0 0 0 0

Updated Apr 06, 2021
2

Programming 2 / 2024 Code Examples

Source code used in the Programming 2 lecture

1

Updated Jul 16, 2024

1 1 0 0

Updated Jul 16, 2024