Explore projects

View 2024 Code Examples project

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
View CP23 Fearless Concurrency with Rust project

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
View dts-iot-sim project

Kai Vogelgesang / dts-iot-sim

0

Updated May 29, 2021

0 0 0 0

Updated May 29, 2021
View pseuCo Book project

Felix Freiberger / pseuCo Book
Creative Commons Attribution Non Commercial Share Alike 4.0 International

0

Updated May 15, 2025

0 1 3

Updated May 15, 2025
View Forschungstage 2024 Error Hunters Template project

Maximilian Köhl / Forschungstage 2024 Error Hunters Template

0

Updated Jun 06, 2024

0 0 0 0

Updated Jun 06, 2024
View JANI2PINS project

Lars Schieffer / JANI2PINS
Other

The JANI front-end module for the LTSmin toolset

0

Updated Sep 22, 2020

0 0 0 0

Updated Sep 22, 2020
View muds-project project

Daniel Stan / muds-project

Verification 2018-2019, template project

0

Updated Dec 19, 2018

0 0 0 0

Updated Dec 19, 2018
View locking-trains project

np / 2018 / locking-trains

0

Updated Dec 31, 2018

0 0

Updated Dec 31, 2018
View Python Project Template project

Maximilian Köhl / Python Project Template

0

Updated Jan 10, 2020

0 0 0 0

Updated Jan 10, 2020
View pseuco-promela-compiler project

pseuco / pseuco-promela-compiler
MIT License

0

Updated Feb 17, 2022

0 0 0 0

Updated Feb 17, 2022
View pseuCo Book Server project

Felix Freiberger / pseuCo Book Server

0

Updated Nov 10, 2023

0 0 0 0

Updated Nov 10, 2023
View concurrent-programming-web project

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
View Miniparse project

Maximilian Köhl / Miniparse

A helper library for handwritten parsers.

python

0

Updated Mar 06, 2020

0 0 0 0

Updated Mar 06, 2020
View nodebuzz3 project

Felix Freiberger / nodebuzz3
MIT License

0

Updated Jan 06, 2025

0 0 0 0

Updated Jan 06, 2025
View Admissibility in Probabilistic Argumentation project

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
View Onig project

Maximilian Köhl / Onig

A Python wrapper around the Oniguruma regular expression library.

python

0

Updated Mar 02, 2020

0 0 0 0

Updated Mar 02, 2020
View np-ss23-project-visualizer project

np / 2023 / np-ss23-project-visualizer

0

Updated May 14, 2024

0 1 0 0

Updated May 14, 2024
View cspell-docker project

Felix Freiberger / cspell-docker

0

Updated Feb 29, 2024

0 0 0 0

Updated Feb 29, 2024
View np-ss24-project-visualizer project

np / 2024 / np-ss24-project-visualizer

0

Updated May 23, 2025

0 0 0 0

Updated May 23, 2025
View Space Link Models project

Juan Andres Fraire / Space Link Models

0

Updated Aug 20, 2024

0 0 0 0

Updated Aug 20, 2024