eclipse-xsemantics / xsemanticsLinks
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).
☆34Updated 2 years ago
Alternatives and similar repositories for xsemantics
Users that are interested in xsemantics are comparing it to the libraries listed below
Sorting:
- The Melange Language Workbench☆30Updated 2 years ago
- Web Native language Workbench with Projectional Web Editor☆75Updated this week
- Seven Languages in Seven Weeks (with Xtext)☆72Updated 2 years ago
- A collaborative and scalable open source platform for domain-specific models on the web and in the cloud☆71Updated 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
- gemoc-studio☆28Updated 11 months ago
- Spoofax runtime☆160Updated 9 months ago
- MPS-extensions aims to ease language development within MPS.☆86Updated this week
- A curated list of awesome MPS extensions/libraries, software and resources.☆66Updated last month
- ☆44Updated last month
- ☆21Updated 2 years ago
- Xtext/Sirius Integration☆21Updated last year
- An Example for an Xtext Language Server☆55Updated 2 years ago
- JPL: The Prolog <-> Java interface☆58Updated last week
- JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.☆140Updated 4 years ago
- Type checking and logical inference for JetBrains MPS☆32Updated 3 months ago
- Open-source implementation of the Action Language for fUML (Alf) specification.☆31Updated 2 years ago
- Software Language Engineering Body of Knowledge☆49Updated 5 years ago
- Open Source Parts of IETS3☆54Updated this week
- The mbeddr core. An extensible C☆227Updated this week
- Whole Platform Language Workbench☆28Updated last year
- a book about declarative language definition☆24Updated 9 years ago
- A framework to build projectional editors running in the browser☆14Updated 2 years ago
- Open-source implementation of the Foundational Semantics for Executable UML Models (Foundational UML) specification.☆64Updated 2 years ago
- A repository for examples of all kinds of OCL (Object Constraint Language) expressions☆25Updated 9 years ago
- The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.☆80Updated 9 years ago
- This contains the examples for the book "Implementing Domain-Specific Languages with Xtext and Xtend, 2nd edition"☆74Updated 5 years ago
- Implements (select parts of) the LionWeb specification, and tooling around that - all in TypeScript.☆11Updated this week
- DSLs for modeling and analyzing farming systems☆12Updated 8 years ago
- Java-based lightweight Prolog virtual machine☆37Updated last year