Explore projects

N

np / 2020 / np-ss20-project-template

5

Updated Sep 23, 2020

5 79 0 0

Updated Sep 23, 2020
N

np / 2019 / np-ss19-project-template

3

Updated Sep 23, 2020

3 80

Updated Sep 23, 2020
modest / toolset
Other

The Modest Toolset

3

Updated Jun 10, 2023

3 49

Updated Jun 10, 2023
P

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

A small (but powerful) IDE for pseuCo.

Topics: pseuCo

2

Updated Sep 23, 2021

2 0 0 11

Updated Sep 23, 2021
P

pseuco / pseuco-tests

2

Updated Dec 02, 2022

2 0 0 0

Updated Dec 02, 2022
P

pseuco / pseuco-ccs-interpreter
Nethack General Public License

1

Updated May 12, 2023

1 0 0 1

Updated May 12, 2023
P

pseuco / pseuco-ccs-compiler
Nethack General Public License

1

Updated Jan 11, 2023

1 0 0 1

Updated Jan 11, 2023
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 / 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
C

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

pseuCo.com

1

Updated May 31, 2023

1 3 0 17

Updated May 31, 2023
P

pseuco / pseuco-lang
Nethack General Public License

1

Updated May 31, 2023

1 0 0 4

Updated May 31, 2023
P

pseuco / pseuCo CPN Compiler
Other

1

Updated Jun 02, 2023

1 0 1 2

Updated Jun 02, 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
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
M

Daniel Stan / muds-project

Verification 2018-2019, template project

0

Updated Sep 23, 2020

0 0 0 0

Updated Sep 23, 2020
P

pseuco / pseuco-ide-legacy
Other

A small (but powerful) IDE for Pseuco. Archived version 1, new version at https://liebe.cs.uni-saarland.de/gitlab/pseuco/pseuco-ide.

archived 0

Updated May 31, 2023

archived 0 0 0 0

Updated May 31, 2023
O

Maximilian Köhl / Onig

A Python wrapper around the Oniguruma regular expression library.

Topics: python

0

Updated Sep 23, 2020

0 0 0 0

Updated Sep 23, 2020
P

np / 2017 / project-template

0

Updated Sep 23, 2020

0 0 0 0

Updated Sep 23, 2020
H

Felix Freiberger / HDF Environment

0

Updated Apr 13, 2023

0 0 0 0

Updated Apr 13, 2023