Explore projects

N

np / 2020 / np-ss20-project-template

5

Updated Aug 12, 2023

5 79 0 0

Updated Aug 12, 2023
modest / toolset
Other

The Modest Toolset

3

Updated Nov 28, 2023

3 49

Updated Nov 28, 2023
N

np / 2019 / np-ss19-project-template

3

Updated Aug 12, 2023

3 80

Updated Aug 12, 2023
P

pseuco / pseuco-tests

2

Updated Aug 12, 2023

2 0 0 0

Updated Aug 12, 2023
P

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

A small (but powerful) IDE for pseuCo.

Topics: pseuCo

2

Updated Aug 12, 2023

2 0 0 11

Updated Aug 12, 2023
P

pseuco / pseuco-lang

1

Updated Nov 06, 2023

1 1 0 8

Updated Nov 06, 2023
C

Jonathan Müller / CP-Fuzzer

1

Updated Jul 18, 2023

1 0 0 0

Updated Jul 18, 2023
P

pseuco / pseuco-ccs-compiler

1

Updated Nov 17, 2023

1 0 0 2

Updated Nov 17, 2023
P

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

pseuCo-Java-Compiler

1

Updated Aug 12, 2023

1 0 0 16

Updated Aug 12, 2023
N

np / 2022 / np-ss22-project-template

1

Updated Jul 20, 2022

1 51 0 0

Updated Jul 20, 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
N

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

1

Updated Aug 02, 2023

1 33 0 1

Updated Aug 02, 2023
P

pseuco / pseuCo CPN Compiler
Other

1

Updated Nov 21, 2023

1 0 1 3

Updated Nov 21, 2023
P

pseuco / pseuco-ccs-interpreter

1

Updated Dec 05, 2023

1 0 1 2

Updated Dec 05, 2023
C

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

pseuCo.com

1

Updated Dec 05, 2023

1 3 1 17

Updated Dec 05, 2023
R

np / 2022 / Tutors / Rust Template

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

1

Updated Jul 06, 2022

1 0 0 0

Updated Jul 06, 2022
P

pseuco / pseuco-promela-compiler
MIT License

0

Updated Aug 12, 2023

0 0 0 0

Updated Aug 12, 2023
POWVER / draisine
Other

0

Updated Aug 12, 2023

0 0 0 2

Updated Aug 12, 2023
Maximilian Köhl / MOML VS Code Extension
MIT License

Momba Modeling Language (MOML) support for Visual Studio Code.

https://marketplace.visualstudio.com/items?itemName=koehlma.moml-language

Topics: momba python

0

Updated Sep 23, 2020

0 0 0 0

Updated Sep 23, 2020
J

Michaela Klauck / Jani-PPDDL-Translation-Release

A python script to translate Jani MDP models to PPDDL.

0

Updated Sep 23, 2020

0 0 0 0

Updated Sep 23, 2020