ftsrg/gamma
An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
This framework helps software designers and engineers build complex reactive systems from reusable components. You provide models of system behavior and component interactions, and it helps verify their correctness and automatically generates Java or C code for implementation. It's ideal for those developing safety-critical or high-reliability software.
Use this if you need to design, formally verify, and generate code for reactive systems using a component-based approach.
Not ideal if you are looking for a general-purpose coding IDE or do not work with component-based reactive system design and formal verification.
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.
x-hansong/CodeMaker
A idea-plugin for Java/Scala, support custom code template.
overturetool/overture
The Overture Tool