Projects · Explore

Explore GitLab

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

modest / toolset

The Modest Toolset

2

Updated Feb 06, 2023

2 0 49

Updated Feb 06, 2023
C

pseuco / concurrent-programming-web

pseuCo.com

1

Updated Jan 30, 2023

1 3 1 17

Updated Jan 30, 2023
P

pseuco / pseuco-ccs-compiler

1

Updated Jan 11, 2023

1 0 0 1

Updated Jan 11, 2023
P

pseuco / pseuco-shared-components

Shared React components for pseuCo apps.

0

Updated Jan 11, 2023

0 0 0 0

Updated Jan 11, 2023
P

pseuco / pseuco-ccs-interpreter

1

Updated Jan 10, 2023

1 0 0 1

Updated Jan 10, 2023
P

Felix Freiberger / pseuCo Book

0

Updated Dec 13, 2022

0 1 4

Updated Dec 13, 2022
P

pseuco / pseuCo CPN Compiler

0

Updated Dec 05, 2022

0 0 0 2

Updated Dec 05, 2022
P

pseuco / pseuco-tests

2

Updated Dec 02, 2022

2 0 0 0

Updated Dec 02, 2022
C

pseuco / colored-petri-nets

JavaScript implementation of CPN and CPN++

0

Updated Dec 02, 2022

0 0 0 0

Updated Dec 02, 2022
N

Felix Freiberger / nodebuzz3

0

Updated Oct 14, 2022

0 0 0 0

Updated Oct 14, 2022
N

np / 2022 / np-ss22-project-template

1

Updated Jul 20, 2022

1 51 0 0

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

Maximilian Köhl / NP22 Fearless Concurrency with Rust

Examples of my lecture on fearless concurrency with Rust.

0

Updated Jun 01, 2022

0 0 0 0

Updated Jun 01, 2022
H

Hybrid Document Format / Hybrid Documents Compiler

0

Updated Mar 30, 2022

0 1 0 3

Updated Mar 30, 2022
H

Hybrid Document Format / HDF Demo

0

Updated Mar 30, 2022

0 0 0 0

Updated Mar 30, 2022
H

Hybrid Document Format / Hybrid Documents Reader Core

A set of components to build a HDF reader webapp.

0

Updated Mar 30, 2022

0 0 0 0

Updated Mar 30, 2022
C

Felix Freiberger / cspell-docker

0

Updated Feb 14, 2022

0 0 0 0

Updated Feb 14, 2022
P

pseuco / pseuco-jani-server

A server-side implementation of the jani-interaction protocol written in Go.

Topics: jani-interac... Go pseuCo
+ 1 more

0

Updated Oct 04, 2021

0 0

Updated Oct 04, 2021
P

pseuco / pseuco-ide

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-promela-compiler

0

Updated Aug 10, 2021

0 0 0 0

Updated Aug 10, 2021