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 3 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☆39May 12, 2026Updated last week
- Seven Languages in Seven Weeks (with Xtext)☆73Feb 28, 2023Updated 3 years ago
- An efficient graph solver for generating well-formed models☆25Apr 1, 2022Updated 4 years ago
- A collaborative and scalable open source platform for domain-specific models on the web and in the cloud☆71Mar 29, 2024Updated 2 years ago
- A framework to build projectional editors running in the browser☆15Sep 29, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Modelserver component☆45Dec 19, 2025Updated 5 months ago
- ☆21Dec 7, 2023Updated 2 years ago
- sprotty-vscode☆61Updated this week
- Xtext/Sirius Integration☆21Dec 11, 2024Updated last year
- ☆43Dec 12, 2025Updated 5 months ago
- Opt - AnyVal Option-like type☆10Jan 7, 2017Updated 9 years ago
- A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)☆189Dec 22, 2024Updated last year
- Ecore and OCL runtime API for TypeScript and JavaScript☆28Jan 6, 2023Updated 3 years ago
- A variant type for Java, with customisable automatic type conversion☆14Aug 9, 2012Updated 13 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Developer kit for implementing Domain Specific Languages with Xtext. Format, Check, Export and Scope languages of DSL Developer Kit stand…☆47Updated this week
- ☆20Apr 13, 2026Updated last month
- 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 10 months ago
- OTP diagrams using PlantUML☆12Nov 28, 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
- AsciiDoc Editor built with Electron and Asciidoctor.js.☆11Feb 3, 2023Updated 3 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 benchmark tool for distributed Erlang commands.☆18Aug 15, 2014Updated 11 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.
- Examples for the book "Implementing Domain-Specific Languages with Xtext and Xtend" 978-1782160304☆34May 29, 2015Updated 10 years ago
- A collection of neat tools related to the Xtend language.☆10Feb 16, 2015Updated 11 years ago
- Java annotation processor utilities.☆14Apr 8, 2023Updated 3 years ago
- A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs☆77Mar 5, 2022Updated 4 years ago
- ROAR-NET API Specification☆13Jan 14, 2026Updated 4 months ago
- A curated list of awesome model-driven engineering resources.☆22Sep 21, 2024Updated last year
- Software Language Engineering Body of Knowledge☆49Feb 17, 2020Updated 6 years ago
- Deploy Kinto on Heroku via a one-click button☆11Mar 23, 2023Updated 3 years ago
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Zero-dependency Erlang library that generates captcha images☆12Oct 4, 2023Updated 2 years ago
- An implementation of (some fragment of) cubical type theory using rewrite rules, based on a talk given by Conor McBride at the 23rd Agda'…☆12Aug 5, 2016Updated 9 years ago
- Programming with JetBrains MPS - Textbook for Beginners☆22Nov 9, 2019Updated 6 years ago
- Java wrapper over the Stash REST API☆12Nov 24, 2016Updated 9 years ago
- DoctorJS--, simple type inference for JavaScript☆16Dec 23, 2012Updated 13 years ago
- A C++ -based STIL parser.☆12Apr 29, 2021Updated 5 years ago
- An implementation of the missing SimpleJdbcUpdate in the Spring Framework☆16Apr 26, 2016Updated 10 years ago