Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Pnmc

An efficient Petri net model checker using Hierarchical Set Decision Diagrams.
Stars
8
License
bsd-2-clause
Open Issues
0
Most Recent Commit
5 months ago
Programming Language
C++
Categories
Site
Repo
Alternatives To Pnmc
Select To Compare
Excalidraw ⭐ 66,345
Virtual whiteboard for sketching hand-drawn like diagrams
dependent packages 49total releases 295most recent commit 3 months agonpm @excalidraw/excalidraw} Downloads
Drawio ⭐ 37,528
draw.io is a JavaScript, client-side editor for general diagramming.
dependent packages 2total releases 2most recent commit 3 months agonpm @hhhtj/draw.io} Downloads
Diagrams ⭐ 33,556
:art: Diagram as Code for prototyping cloud system architectures
dependent packages 38total releases 45most recent commit 3 months agopypi diagrams} Downloads
D2 ⭐ 15,122
D2 is a modern diagram scripting language that turns text to diagrams.
dependent packages 16total releases 23most recent commit 3 months ago
Plantuml ⭐ 9,158
Generate diagrams from textual description
dependent packages 4total releases 6most recent commit 3 months ago


Suggest An Alternative To pnmc
Popular User Interface Categories
Theme
Flutter
Animation
Redux
Bindings
Gui
Material
Visualization
Layout
Qt
Related Searches
C Plus Plus Diagram
C Plus Plus Symbolic
Diagram Decision Diagrams
C Plus Plus Decision Diagrams
Diagram Symbolic
C Plus Plus Model Checker

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
C Plus Plus
Diagram
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.