Projects · Explore

Explore GitLab

Discover projects, groups and snippets. Share your projects with others

N

np / 2020 / np-ss20-project-template

5 79 0 0

Updated Sep 23, 2020
N

np / 2019 / np-ss19-project-template

3 80

Updated Sep 23, 2020
P

pseuco / pseuco-tests

2 0 0 0

Updated Sep 23, 2020
P

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

A small (but powerful) IDE for pseuCo.

pseuCo

2 0 0 11

Updated Sep 23, 2021
modest / toolset
Other

The Modest Toolset

2 0 46

Updated Jun 23, 2022
P

pseuco / pseuco-lang

1 0 0 4

Updated Sep 23, 2020
P

pseuco / pseuco-ccs-interpreter

1 0 0 1

Updated May 30, 2022
P

pseuco / pseuco-ccs-compiler

1 0 0 1

Updated Sep 23, 2020
C

pseuco / concurrent-programming-web
Other

pseuCo.com

1 2 0 24

Updated May 30, 2022
P

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

pseuCo-Java-Compiler

1 0 0 15

Updated Sep 23, 2020
N

np / 2022 / np-ss22-project-template

1 50 0 0

Updated Jun 23, 2022
D

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

1 0 0 0

Updated Apr 22, 2021
Maximilian Köhl / RDL VS Code Extension

Rigorous Definition Language (RDL) support for Visual Studio Code.

0 0 0 0

Updated Sep 23, 2020
P

Maximilian Köhl / Python Orex

An object-oriented approach to regular expressions.

python

0 0 0 0

Updated Sep 23, 2020
D

Felix Freiberger / depend-web-mwe

0 0 0 0

Updated Sep 23, 2020
T

Michaela Klauck / TAILOR2020

Additional material for the TAILOR 2020 paper "Towards Deep Statistical Model Checking"

0 0 0 0

Updated Sep 23, 2020
M

Daniel Stan / muds-project

Verification 2018-2019, template project

0 0 0 0

Updated Sep 23, 2020
O

Maximilian Köhl / Onig

A Python wrapper around the Oniguruma regular expression library.

python

0 0 0 0

Updated Sep 23, 2020
P

np / 2017 / project-template

0 0 0 0

Updated Sep 23, 2020
H

Hybrid Document Format / Hybrid Documents Reader Core
MIT License

A set of components to build a HDF reader webapp.

0 0 0 0

Updated Mar 30, 2022