Explore projects

modest / toolset
Other

The Modest Toolset

3

Updated Oct 11, 2024

3 50

Updated Oct 11, 2024
P

pseuco / pseuCo CPN Compiler
Other

1

Updated Apr 19, 2024

1 0 0 3

Updated Apr 19, 2024
C

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

pseuCo.com

0

Updated May 22, 2019

0 0 0 0

Updated May 22, 2019
M

pseuco / m3
GNU Affero General Public License v3.0

Memory Model Mapper

0

Updated Dec 06, 2021

0 0 0 6

Updated Dec 06, 2021
P

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

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

jani-interac... Go pseuCo
+ 1 more

0

Updated Mar 21, 2019

0 0

Updated Mar 21, 2019
J

Lars Schieffer / JANI2PINS
Other

The JANI front-end module for the LTSmin toolset

0

Updated Sep 22, 2020

0 0 0 0

Updated Sep 22, 2020
M

Maximilian Köhl / Momba
MIT License

The Python toolbox for working with quantitative models.

python momba

Archived 0

Updated Oct 19, 2020

Archived 0 0 0 0

Updated Oct 19, 2020
N

Felix Freiberger / nodebuzz3
MIT License

0

Updated Sep 27, 2024

0 0 0 0

Updated Sep 27, 2024
O

Maximilian Köhl / Onig

A Python wrapper around the Oniguruma regular expression library.

python

0

Updated Mar 02, 2020

0 0 0 0

Updated Mar 02, 2020
N

np / 2020 / np-ss20-project-visualizer

0

Updated Jul 13, 2021

0 0 0 0

Updated Jul 13, 2021
POWVER / draisine
Other

0

Updated Mar 12, 2018

0 0 0 2

Updated Mar 12, 2018
D

Felix Freiberger / depend-web-mwe

0

Updated May 06, 2020

0 0 0 0

Updated May 06, 2020
C

pseuco / colored-petri-nets
Other

JavaScript implementation of CPN and CPN++

0

Updated Jan 29, 2024

0 0 0 0

Updated Jan 29, 2024