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).
☆32Updated 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 last year
- ☆20Updated last year
- gemoc-studio☆28Updated 4 months ago
- Seven Languages in Seven Weeks (with Xtext)☆71Updated 2 years ago
- ☆44Updated last year
- 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☆70Updated last year
- Type checking and logical inference for JetBrains MPS☆33Updated 3 months ago
- Open Source Parts of IETS3☆53Updated this week
- Spoofax runtime☆146Updated 2 months ago
- A curated list of awesome MPS extensions/libraries, software and resources.☆62Updated 2 weeks ago
- a book about declarative language definition☆23Updated 9 years ago
- A framework to build projectional editors running in the browser☆14Updated last year
- Library-based Language Extensibility☆39Updated 10 years ago
- JPL: The Prolog <-> Java interface☆55Updated 3 weeks ago
- ☆13Updated 5 years ago
- The mbeddr core. An extensible C☆228Updated last week
- JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.☆136Updated 3 years ago
- MPS-extensions aims to ease language development within MPS.☆86Updated this week
- An ANTLR language for MPS, and the ToMPS language to help create MPS languages and ANTRL visitors from an ANTLR 4 grammar.☆25Updated 7 years ago
- Core components for the Scribble Java tools☆56Updated 9 months ago
- The Heterogeneous Tool Set☆58Updated 5 months ago
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆158Updated this week
- Generic immutable recursive data representation API targeted at source code models and more.☆37Updated 2 weeks ago
- A repository for examples of all kinds of OCL (Object Constraint Language) expressions☆24Updated 8 years ago
- Datalog that's as easy as ABC.☆59Updated last month
- An Example for an Xtext Language Server☆55Updated 2 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
- DSLs for modeling and analyzing farming systems☆11Updated 8 years ago
- Software Language Engineering Body of Knowledge☆48Updated 5 years ago