Model-Based-Design-Lab

All

5 repositories

cmlib
Public
Computational Modeling Libraries
automata modeling markov-chain
automata modeling markov-chain temporal-logic computational dataflow-analysis max-plus regular-expressions-and-languages max-plus-algebra
Python
•0•2•1•0•Updated Jun 14, 2026Jun 14, 2026
cmwb
Public
Computational Modeling WorkBench
automata markov-chain regular-expressions
automata markov-chain regular-expressions computational-modeling linear-temporal-logic dataflow-analysis max-plus max-plus-algebra
PHP
•0•4•2•0•Updated Apr 23, 2026Apr 23, 2026
maxpluslib
Public
C++ library for max-plus algebra, max-plus automata and related graph and game-theoretical algorithms
C++
•
MIT License
•2•1•0•0•Updated Aug 29, 2025Aug 29, 2025
cmlang
Public
Computational Modeling Domain Specific Languages and Tools
automata language-server-protocol markov-chain
automata language-server-protocol markov-chain dataflow code-generation regular-expressions linear-temporal-logic xtext-grammar domain-specific-languages max-plus-algebra
Xtend
•0•0•0•0•Updated May 6, 2025May 6, 2025
cmtrace
Public
Computational Modeling Trace Visualization
svg trace gantt-chart
svg trace gantt-chart
Python
•0•1•0•0•Updated Jan 4, 2025Jan 4, 2025

ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.