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
- Seven Languages in Seven Weeks (with Xtext)☆71Updated 2 years ago
- ☆20Updated last year
- gemoc-studio☆28Updated 5 months ago
- Spoofax runtime☆146Updated 3 months ago
- Type checking and logical inference for JetBrains MPS☆33Updated last week
- A collaborative and scalable open source platform for domain-specific models on the web and in the cloud☆70Updated last year
- Open Source Parts of IETS3☆54Updated this week
- Software Language Engineering Body of Knowledge☆48Updated 5 years ago
- Web Native language Workbench with Projectional Web Editor☆70Updated last week
- ☆44Updated 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
- MPS-extensions aims to ease language development within MPS.☆86Updated last week
- a book about declarative language definition☆23Updated 9 years ago
- The mbeddr core. An extensible C☆228Updated this week
- An Example for an Xtext Language Server☆55Updated 2 years ago
- An Example for an Xtext Language Server☆37Updated this week
- A curated list of awesome MPS extensions/libraries, software and resources.☆63Updated last month
- Xtext/Sirius Integration☆21Updated 7 months ago
- A framework to build projectional editors running in the browser☆14Updated last year
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆37Updated last year
- Ingrid is a JetBrains MPS plugin allowing the import of ANTLRv4 grammars and creation of an MPS language automatically out of the grammar☆23Updated 5 years ago
- Whole Platform Language Workbench☆27Updated last year
- ☆13Updated 5 years ago
- The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…☆427Updated this week
- ☆34Updated 4 years ago
- An ANTLR language for MPS, and the ToMPS language to help create MPS languages and ANTRL visitors from an ANTLR 4 grammar.☆26Updated 7 years ago
- SOMns: A Newspeak for Concurrency Research☆69Updated 5 months ago
- Kodkod solver for relational logic☆77Updated 2 years 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…☆159Updated 2 weeks ago