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
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
N

np / 2022 / np-ss22-project-template

1

Updated Jul 20, 2022

1 51 0 0

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

np / 2017 / project-template

0

Updated Jun 27, 2017

0 0 0 0

Updated Jun 27, 2017
M

Daniel Stan / muds-project

Verification 2018-2019, template project

0

Updated Dec 19, 2018

0 0 0 0

Updated Dec 19, 2018
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 Nov 09, 2017

Archived 0 0 0 0

Updated Nov 09, 2017
D

Mei Chen / debuggerGradle

0

Updated Feb 12, 2020

0 0 0 2

Updated Feb 12, 2020
L

np / 2018 / locking-trains

0

Updated Dec 31, 2018

0 0

Updated Dec 31, 2018