Explore projects

modest / toolset
Other

The Modest Toolset

3

Updated Nov 28, 2023

3 49

Updated Nov 28, 2023
P

pseuco / pseuCo CPN Compiler
Other

1

Updated Nov 21, 2023

1 0 1 3

Updated Nov 21, 2023
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 Aug 12, 2023

0 0

Updated Aug 12, 2023
C

pseuco / colored-petri-nets
Other

JavaScript implementation of CPN and CPN++

0

Updated Nov 21, 2023

0 0 0 0

Updated Nov 21, 2023
POWVER / draisine
Other

0

Updated Aug 12, 2023

0 0 0 2

Updated Aug 12, 2023
N

Felix Freiberger / nodebuzz3
MIT License

0

Updated Oct 07, 2023

0 0 0 0

Updated Oct 07, 2023
N

np / 2020 / np-ss20-project-visualizer

0

Updated Aug 12, 2023

0 0 0 0

Updated Aug 12, 2023
M

Maximilian Köhl / Momba
MIT License

The Python toolbox for working with quantitative models.

Topics: python momba

archived 0

Updated Oct 20, 2020

archived 0 0 0 0

Updated Oct 20, 2020
J

Lars Schieffer / JANI2PINS
Other

The JANI front-end module for the LTSmin toolset

0

Updated Sep 18, 2020

0 0 0 0

Updated Sep 18, 2020
M

pseuco / m3
GNU Affero General Public License v3.0

Memory Model Mapper

0

Updated Aug 12, 2023

0 0 0 6

Updated Aug 12, 2023
O

Maximilian Köhl / Onig

A Python wrapper around the Oniguruma regular expression library.

Topics: python

0

Updated Sep 23, 2020

0 0 0 0

Updated Sep 23, 2020
C

Florian Schießl / concurrent-programming-web
GNU Affero General Public License v3.0

pseuCo.com

0

Updated Sep 23, 2020

0 0 0 0

Updated Sep 23, 2020
D

Felix Freiberger / depend-web-mwe

0

Updated Aug 12, 2023

0 0 0 0

Updated Aug 12, 2023