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☆29Updated 2 years ago
- Web Native language Workbench with Projectional Web Editor☆73Updated last week
- Seven Languages in Seven Weeks (with Xtext)☆72Updated 2 years ago
- ☆21Updated 2 years ago
- Spoofax runtime☆154Updated 7 months ago
- gemoc-studio☆28Updated 9 months ago
- 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
- MPS-extensions aims to ease language development within MPS.☆86Updated this week
- Xtext/Sirius Integration☆21Updated last year
- Type checking and logical inference for JetBrains MPS☆32Updated last month
- Open Source Parts of IETS3☆54Updated this week
- A collaborative and scalable open source platform for domain-specific models on the web and in the cloud☆71Updated last year
- A framework to build projectional editors running in the browser☆14Updated 2 years ago
- ☆44Updated 3 months ago
- A Theia Application with DSL support through an Xtext Language Server☆29Updated 3 years ago
- Software Language Engineering Body of Knowledge☆48Updated 5 years ago
- Implements (select parts of) the LionWeb specification, and tooling around that - all in TypeScript.☆11Updated last week
- A curated list of awesome MPS extensions/libraries, software and resources.☆66Updated 3 weeks ago
- a book about declarative language definition☆23Updated 9 years ago
- An Example for an Xtext Language Server☆38Updated last week
- A repository for examples of all kinds of OCL (Object Constraint Language) expressions☆25Updated 8 years ago
- Whole Platform Language Workbench☆28Updated last year
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆163Updated this week
- JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.☆140Updated 4 years ago
- B-OCL is a tool designed to parse and evaluate the OCL constraints designed on BESSER models. It is a python based implementation that ut…☆23Updated 3 weeks ago
- The mbeddr core. An extensible C☆227Updated this week
- An extensible framework for feature-oriented software development☆138Updated last month
- Ingrid is a JetBrains MPS plugin allowing the import of ANTLRv4 grammars and creation of an MPS language automatically out of the grammar☆24Updated 6 years ago
- Open-source implementation of the Action Language for fUML (Alf) specification.☆30Updated 2 years ago