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 last year
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☆29Updated 2 years ago
- 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☆70Updated last year
- Web Native language Workbench with Projectional Web Editor☆71Updated last week
- gemoc-studio☆28Updated 6 months ago
- Spoofax runtime☆147Updated 4 months ago
- Type checking and logical inference for JetBrains MPS☆32Updated last month
- MPS-extensions aims to ease language development within MPS.☆85Updated this week
- a book about declarative language definition☆23Updated 9 years ago
- 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
- Xtext/Sirius Integration☆21Updated 9 months ago
- DSLs for modeling and analyzing farming systems☆12Updated 8 years ago
- ☆44Updated 2 weeks ago
- Software Language Engineering Body of Knowledge☆48Updated 5 years ago
- ☆20Updated last year
- JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.☆138Updated 4 years ago
- Open Source Parts of IETS3☆54Updated this week
- An Example for an Xtext Language Server☆55Updated 2 years ago
- Open-source implementation of the Foundational Semantics for Executable UML Models (Foundational UML) specification.☆64Updated 2 years ago
- JPL: The Prolog <-> Java interface☆56Updated last week
- A repository for examples of all kinds of OCL (Object Constraint Language) expressions☆24Updated 8 years ago
- The mbeddr core. An extensible C☆227Updated this week
- A framework to build projectional editors running in the browser☆14Updated last year
- A curated list of awesome MPS extensions/libraries, software and resources.☆64Updated 2 weeks ago
- A Theia Application with DSL support through an Xtext Language Server☆29Updated 3 years ago
- Open-source implementation of the Action Language for fUML (Alf) specification.☆30Updated 2 years ago
- Whole Platform Language Workbench☆28Updated last year
- Java-based lightweight Prolog virtual machine☆34Updated last year
- Generic immutable recursive data representation API targeted at source code models and more.☆37Updated 2 weeks ago
- A lazy-grounding Answer-Set Programming system☆63Updated 6 months ago