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).
☆36Feb 5, 2026Updated 7 months ago
Alternatives and similar repositories for xsemantics
Users that are interested in xsemantics are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An Example for an Xtext Language Server☆37Updated this week
- Gentleman is a lightweight web-based projectional editor that allows you to create and manipulate models.☆21Aug 17, 2026Updated last month
- An efficient graph solver for generating well-formed models☆25Apr 1, 2022Updated 4 years ago
- Web Native language Workbench with Projectional Web Editor☆79Updated this week
- A framework to build projectional editors running in the browser☆15Sep 29, 2023Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆12May 16, 2022Updated 4 years ago
- Modelserver component☆45Jul 28, 2026Updated last month
- A DSL for generating user interfaces, built with Langium☆20Jun 13, 2023Updated 3 years ago
- ☆21Dec 7, 2023Updated 2 years ago
- A Java-based framework for combinatorial test input generation, fault characterization and automated test execution.☆14Jan 22, 2024Updated 2 years ago
- sprotty-vscode☆62Sep 10, 2026Updated last week
- Various Maven/Tycho plugins used by JBoss Tools☆12Oct 3, 2024Updated last year
- ☆43Aug 23, 2026Updated 3 weeks ago
- A repository for examples of all kinds of OCL (Object Constraint Language) expressions☆25Dec 29, 2016Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Xtext/Sirius Integration☆21Dec 11, 2024Updated last year
- Ecore and OCL runtime API for TypeScript and JavaScript☆27Jan 6, 2023Updated 3 years ago
- A simple toy project for playing around with some implicit resolution tricks☆12May 6, 2021Updated 5 years ago
- Opt - AnyVal Option-like type☆10Jan 7, 2017Updated 9 years ago
- A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)☆192Dec 22, 2024Updated last year
- Base Forward Chaining Knowledge Base Maintenance System☆19Oct 2, 2021Updated 4 years ago
- A .Net Antlr4 grammar testing tool set meant to supplement the need for the Antlr Java TestRig when testing C# deployed Antlr4 parsers.☆18Jul 16, 2025Updated last year
- ROAR-NET API Specification☆15Jul 26, 2026Updated last month
- The fastest way to build a language☆41Jan 4, 2022Updated 4 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- OTP diagrams using PlantUML☆12Nov 28, 2019Updated 6 years ago
- Framework for to implement JavaFX JUnit-Tests☆11Nov 8, 2018Updated 7 years ago
- ☆12Jul 8, 2019Updated 7 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
- V Eclipse, hella P2, much OSGi☆21Sep 18, 2020Updated 6 years ago
- Examples for the book "Implementing Domain-Specific Languages with Xtext and Xtend" 978-1782160304☆34May 29, 2015Updated 11 years ago
- A collection of neat tools related to the Xtend language.☆10Feb 16, 2015Updated 11 years ago
- My dabbling with Pierce's languages in Haskell☆21Feb 4, 2011Updated 15 years ago
- allows to document a complex, distributed model in an easy, concise and project-/domain-specific way.☆19Jan 22, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A curated list of awesome model-driven engineering resources.☆23Sep 21, 2024Updated last year
- A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs☆78Mar 5, 2022Updated 4 years ago
- Deploy Kinto on Heroku via a one-click button☆11Mar 23, 2023Updated 3 years ago
- building resumes using Restructured Text☆12Aug 30, 2011Updated 15 years ago
- Software Language Engineering Body of Knowledge☆50Feb 17, 2020Updated 6 years ago
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- SpawnFest 2021☆13Sep 19, 2021Updated 5 years ago