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).
☆35Feb 5, 2026Updated last month
Alternatives and similar repositories for xsemantics
Users that are interested in xsemantics are comparing it to the libraries listed below
Sorting:
- Gentleman is a lightweight web-based projectional editor that allows you to create and manipulate models.☆18Nov 16, 2025Updated 4 months ago
- An efficient graph solver for generating well-formed models☆25Apr 1, 2022Updated 3 years ago
- A DSL for generating user interfaces, built with Langium☆20Jun 13, 2023Updated 2 years ago
- sprotty-vscode☆61Updated this week
- Various Maven/Tycho plugins used by JBoss Tools☆12Oct 3, 2024Updated last year
- ☆44Dec 12, 2025Updated 3 months ago
- A repository for examples of all kinds of OCL (Object Constraint Language) expressions☆25Dec 29, 2016Updated 9 years ago
- A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)☆186Dec 22, 2024Updated last year
- Ecore and OCL runtime API for TypeScript and JavaScript☆28Jan 6, 2023Updated 3 years ago
- Yet another VSS -> SVN / GIT / TFS converter.☆10Feb 26, 2026Updated 3 weeks ago
- ☆18Feb 10, 2026Updated last month
- Developer kit for implementing Domain Specific Languages with Xtext. Format, Check, Export and Scope languages of DSL Developer Kit stand…☆45Mar 13, 2026Updated last week
- An interpreter of the Lox scripting language, implemented in TypeScript☆18Dec 24, 2021Updated 4 years ago
- Base Forward Chaining Knowledge Base Maintenance System☆19Oct 2, 2021Updated 4 years ago
- The fastest way to build a language☆41Jan 4, 2022Updated 4 years ago
- Historical Estimates & Model Predictions for COVID-19 in Finland☆13Jun 2, 2023Updated 2 years ago
- DefinitelyTyped documentation-generator source + gh-pages☆12Jun 26, 2014Updated 11 years ago
- ☆12Jul 8, 2019Updated 6 years ago
- Dresden OCL provides a set of tools to parse and evaluate OCL constraints on various models like UML, EMF and Java. Furthermore Dresden O…☆23Aug 24, 2015Updated 10 years ago
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 5 years ago
- A collection of neat tools related to the Xtend language.☆10Feb 16, 2015Updated 11 years ago
- A curated list of awesome model-driven engineering resources.☆22Sep 21, 2024Updated last year
- Integration of the web-based GLSP client with VSCode☆26Feb 20, 2026Updated last month
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- Rake buildsystem for generating Manning DocBook and PDF files from AsciiDoc.☆16May 10, 2018Updated 7 years ago
- C++11 port of the Diff, Match and Patch libraries for Plain Text.☆12Mar 4, 2014Updated 12 years ago
- Decorator Contracts is a library that provides the ability to create and assign Code Contracts to ECMAScript and TypeScript classes. This…☆18Feb 7, 2026Updated last month
- Nonlinear SVGD for Learning Diversified Mixture Models☆13Jan 23, 2019Updated 7 years ago
- ☆17Oct 24, 2025Updated 4 months ago
- A C++ -based STIL parser.☆12Apr 29, 2021Updated 4 years ago
- Tutorial: Building a language server for your DSL with Xtext☆27Jul 15, 2023Updated 2 years ago
- Zoo of implementations associated to the ArduinoML kernel☆15Oct 17, 2024Updated last year
- ☆13Feb 18, 2020Updated 6 years ago
- Narwhal is a keyword and KEY NARRATIVE manager that creates language-aware classes. Because Narhwal does not use NLP it avoids complexity …☆12Oct 16, 2018Updated 7 years ago
- ☆28Jan 29, 2026Updated last month
- A domain specific language that utilizes Domain-Driven Design☆17Jan 21, 2024Updated 2 years ago
- Generic API for dispatch to Pyro backends.☆16Feb 13, 2022Updated 4 years ago
- 梯子, http(s)代理, 加密翻墙代理☆12Dec 18, 2015Updated 10 years ago
- Eclipse Xtext™ is a language development framework☆820Updated this week