Explore projects

New project

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
P

pseuco / pseuco-tests

2

Updated Dec 02, 2022

2 0 0 0

Updated Dec 02, 2022
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
modest / toolset
Other

The Modest Toolset

2

Updated Mar 27, 2023

2 49

Updated Mar 27, 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-ccs-interpreter
Nethack General Public License

1

Updated Jan 10, 2023

1 0 0 1

Updated Jan 10, 2023
P

pseuco / pseuco-ccs-compiler
Nethack General Public License

1

Updated Jan 11, 2023

1 0 0 1

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

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

pseuCo.com

1

Updated Mar 23, 2023

1 3 1 19

Updated Mar 23, 2023
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-lang
Nethack General Public License

1

Updated Mar 27, 2023

1 0 0 4

Updated Mar 27, 2023
H

Hybrid Document Format / Hybrid Documents Reader Core
MIT License

A set of components to build a HDF reader webapp.

0

Updated Mar 30, 2022

0 0 0 0

Updated Mar 30, 2022
H

Hybrid Document Format / HDF Demo
MIT License

0

Updated Mar 30, 2022

0 0 0 0

Updated Mar 30, 2022
P

Maximilian Köhl / Python Unicode Buffer

An implementation of the buffer protocol for unicode strings.

Topics: python

0

Updated Sep 23, 2020

0 0 0 0

Updated Sep 23, 2020
J

Lars Schieffer / JANI2PINS
JSON License

The JANI front-end module for the LTSmin toolset

0

Updated Sep 18, 2020

0 0 0 0

Updated Sep 18, 2020
A

Nikolai Käfer / Admissibility in Probabilistic Argumentation

Supplement material and test results for the paper "Admissibility in Probabilistic Argumentation".

0

Updated Mar 31, 2021

0 0 0 0

Updated Mar 31, 2021
N

np / 2020 / np-ss20-project-visualizer

0

Updated Sep 23, 2020

0 0 0 0

Updated Sep 23, 2020
P

pseuco / pseuCo CPN Compiler
Other

0

Updated Dec 05, 2022

0 0 0 2

Updated Dec 05, 2022