Explore projects

N

np / 2020 / np-ss20-project-template

4

Updated Jul 20, 2020

4 79 0 0

Updated Jul 20, 2020
N

np / 2019 / np-ss19-project-template

3

Updated Jul 18, 2019

3 80

Updated Jul 18, 2019
modest / toolset
Other

The Modest Toolset

3

Updated Nov 19, 2024

3 52

Updated Nov 19, 2024
N

np / 2024 / np-ss24-project-template

3

Updated Aug 19, 2024

3 59 0

Updated Aug 19, 2024
P

pseuco / pseuco-ide
GNU Affero General Public License v3.0

A small (but powerful) IDE for pseuCo.

pseuCo

2

Updated Oct 04, 2021

2 0 0 11

Updated Oct 04, 2021
P

pseuco / pseuco-tests

2

Updated Mar 25, 2024

2 0 0 0

Updated Mar 25, 2024
P

pseuco / pseuco-ccs-compiler

1

Updated Mar 28, 2024

1 0 0 0

Updated Mar 28, 2024
C

Jonathan Müller / CP-Fuzzer

1

Updated Jul 18, 2023

1 0 0 0

Updated Jul 18, 2023
N

np / 2022 / np-ss22-project-template

1

Updated Jul 20, 2022

1 51 0 0

Updated Jul 20, 2022
P

pseuco / pseuco-ccs-interpreter

1

Updated May 31, 2024

1 0 1 2

Updated May 31, 2024
C

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

pseuCo.com

1

Updated Jun 06, 2024

1 3 0 19

Updated Jun 06, 2024
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
P

pseuco / pseuCo Static Semantics

Collection of type checking, SM and MP detection, and other static semantics (only decaffeinated pseuCo)

1

Updated May 31, 2024

1 0 0 0

Updated May 31, 2024
N

np / 2024 / np-ss24-project-community-tests

1

Updated Sep 16, 2024

1 0 0 0

Updated Sep 16, 2024
P

pseuco / pseuco-lang

1

Updated Aug 03, 2024

1 1 0 9

Updated Aug 03, 2024
P

pseuco / pseuco-java-compiler
GNU General Public License v3.0 only

pseuCo-Java-Compiler

1

Updated Mar 23, 2023

1 0 0 16

Updated Mar 23, 2023
N

np / 2023 / np-ss23-project-template-java

1

Updated Aug 02, 2023

1 33 0 1

Updated Aug 02, 2023
R

np / 2022 / Tutors / Rust Template

Inofficial Rust template for the concurrent programming project 2022. 🦀 🚀

1

Updated Jul 05, 2022

1 0 0 0

Updated Jul 05, 2022
D

Sebastian Biewer / Doping Tests for Cyber-Physical Systems – Tool
MIT License

1

Updated Apr 22, 2021

1 0 0 0

Updated Apr 22, 2021
P

pseuco / pseuCo CPN Compiler
Other

1

Updated Apr 19, 2024

1 0 0 3

Updated Apr 19, 2024