eclipse-xsemantics / xsemantics
Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules) for languages implemented in Xtext. It then generates Java code that can be used in your language implemented in Xtext for scoping and validation (it can also generate a validator in Java).
☆32Updated last year
Alternatives and similar repositories for xsemantics:
Users that are interested in xsemantics are comparing it to the libraries listed below
- The Melange Language Workbench☆29Updated last year
- gemoc-studio☆27Updated last month
- ☆44Updated last year
- An Example for an Xtext Language Server☆55Updated last year
- Seven Languages in Seven Weeks (with Xtext)☆71Updated 2 years ago
- Xtext/Sirius Integration☆21Updated 4 months ago
- A Theia Application with DSL support through an Xtext Language Server☆29Updated 2 years ago
- Type checking and logical inference for JetBrains MPS☆32Updated 2 weeks ago
- An Example for an Xtext Language Server☆36Updated last week
- Web Native language Workbench with Projectional Web Editor☆69Updated this week
- A collaborative and scalable open source platform for domain-specific models on the web and in the cloud☆69Updated last year
- A curated list of awesome MPS extensions/libraries, software and resources.☆62Updated last month
- Developer kit for implementing Domain Specific Languages with Xtext. Format, Check, Export and Scope languages of DSL Developer Kit stand…☆45Updated this week
- ☆20Updated last year
- The Object Constraint Language (OCL) is a language for describing rules that apply to MOF conform modelling languages like UML. The OCL i…☆57Updated this week
- Software Language Engineering Body of Knowledge☆48Updated 5 years ago
- a book about declarative language definition☆23Updated 9 years ago
- This repository has been rewritten to move to the Eclipse Foundation. Find the old history here: https://github.com/TypeFox/Xpect☆34Updated 3 weeks ago
- MPS-extensions aims to ease language development within MPS.☆85Updated this week
- Library-based Language Extensibility☆39Updated 10 years ago
- DSLs for modeling and analyzing farming systems☆11Updated 7 years ago
- SOMns: A Newspeak for Concurrency Research☆69Updated 2 months ago
- Open Source Parts of IETS3☆54Updated this week
- Extensible stream pipelines with object algebras.☆26Updated 9 years ago
- Tutorial: Building a language server for your DSL with Xtext☆27Updated last year
- xtext-core☆117Updated 2 years ago
- This contains the examples for the book "Implementing Domain-Specific Languages with Xtext and Xtend, 2nd edition"☆74Updated 5 years ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆35Updated last year
- Whole Platform Language Workbench☆27Updated 11 months ago
- Multi-backend EMF persistence framework.☆53Updated 2 months ago