eclipse-gemoc / gemoc-studio
gemoc-studio
☆27Updated 2 months ago
Alternatives and similar repositories for gemoc-studio:
Users that are interested in gemoc-studio are comparing it to the libraries listed below
- The Melange Language Workbench☆29Updated last year
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆32Updated last year
- ☆44Updated last year
- a book about declarative language definition☆23Updated 9 years ago
- Library-based Language Extensibility☆39Updated 10 years ago
- ☆20Updated last year
- Type checking and logical inference for JetBrains MPS☆32Updated 3 weeks ago
- Xtext/Sirius Integration☆21Updated 4 months ago
- Software Language Engineering Body of Knowledge☆48Updated 5 years ago
- Seven Languages in Seven Weeks (with Xtext)☆71Updated 2 years ago
- DSLs for modeling and analyzing farming systems☆11Updated 8 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆35Updated this week
- ☆13Updated 5 years ago
- The eclipse plugin for frege, codename fregIDE☆31Updated 5 years ago
- A curated list of awesome MPS extensions/libraries, software and resources.☆62Updated 2 months ago
- An Xtext language and example usage of it built with Maven☆61Updated 2 months ago
- Maude Formal Environment☆17Updated 5 years ago
- Whole Platform Language Workbench☆27Updated 11 months ago
- This repository has been rewritten to move to the Eclipse Foundation. Find the old history here: https://github.com/TypeFox/Xpect☆34Updated last month
- SOMns: A Newspeak for Concurrency Research☆69Updated 2 months ago
- ☆71Updated 4 years ago
- Open Source Parts of IETS3☆54Updated this week
- An Example for an Xtext Language Server☆55Updated last year
- Multi-backend EMF persistence framework.☆53Updated 2 months ago
- ☆12Updated 6 years ago
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Updated this week
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆35Updated last year
- Full-fledged industrial environment for scientific computing and High Performance Computing☆18Updated last year
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆51Updated last year
- Web Native language Workbench with Projectional Web Editor☆69Updated this week