ftsrg/gamma
An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
Supports hierarchical composition of statecharts into reusable component networks with automated verification through translation to multiple backends (UPPAAL, Theta, Spin, nuXmv, Imandra) for timed and untimed model checking. Generates executable Java or C code from validated models, integrating VIATRA-based transformations within an Eclipse IDE workflow for end-to-end reactive system design.
Stars
35
Forks
27
Language
Xtend
License
—
Category
Last pushed
Mar 17, 2026
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/ai-coding/ftsrg/gamma"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Higher-rated alternatives
INRIA/spoon
Spoon is a metaprogramming library to analyze and transform Java source code. :spoon: is made...
phax/jcodemodel
A heavily extended fork of the com.sun.codemodel (from 2013/09)
avaje/avaje-http
Controller generation for Javalin, Helidon SE.
activej/activej
ActiveJ is an alternative Java platform built from the ground up. ActiveJ redefines core, web...
x-hansong/CodeMaker
A idea-plugin for Java/Scala, support custom code template.