Projects · Explore

Explore GitLab

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

P

pseuco / pseuco-ccs-interpreter

1

Updated Dec 08, 2022

1 0 0 1

Updated Dec 08, 2022
modest / toolset
Other

The Modest Toolset

2

Updated Dec 08, 2022

2 0 47

Updated Dec 08, 2022
C

pseuco / concurrent-programming-web
Other

pseuCo.com

1

Updated Dec 08, 2022

1 3 1 17

Updated Dec 08, 2022
P

pseuco / pseuCo CPN Compiler
GNU Lesser General Public License v3.0

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
GNU Lesser General Public License v3.0

JavaScript implementation of CPN and CPN++

0

Updated Dec 02, 2022

0 0 0 0

Updated Dec 02, 2022
P

pseuco / pseuco-shared-components
Other

Shared React components for pseuCo apps.

0

Updated Dec 02, 2022

0 0 0 0

Updated Dec 02, 2022
N

Felix Freiberger / nodebuzz3
MIT License

0

Updated Oct 14, 2022

0 0 0 0

Updated Oct 14, 2022
P

Felix Freiberger / pseuCo Book

0

Updated Sep 27, 2022

0 1 4

Updated Sep 27, 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
MIT License

0

Updated Mar 30, 2022

0 1 0 3

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

Felix Freiberger / cspell-docker

0

Updated Feb 14, 2022

0 0 0 0

Updated Feb 14, 2022
P

pseuco / pseuco-jani-server
GNU Affero General Public License v3.0

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

0

Updated Aug 10, 2021

0 0 0 0

Updated Aug 10, 2021
S

Jana Schmidt / SMT-LIB and MiniZinc Encoding for Satellite Contact Plans
MIT License

0

Updated Jul 05, 2021

0 0 0 0

Updated Jul 05, 2021