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 6 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☆40Updated this week
- Web Native language Workbench with Projectional Web Editor☆78Updated this week
- A collaborative and scalable open source platform for domain-specific models on the web and in the cloud☆70Mar 29, 2024Updated 2 years ago
- Various DSLs implemented with Xtext 2.0 and Xtext-related utilities, as open source.☆17Oct 4, 2014Updated 11 years ago
- A framework to build projectional editors running in the browser☆15Sep 29, 2023Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Seven Languages in Seven Weeks (with Xtext)☆73Feb 28, 2023Updated 3 years ago
- ☆12May 16, 2022Updated 4 years ago
- Modelserver component☆45Jul 28, 2026Updated last week
- A DSL for generating user interfaces, built with Langium☆20Jun 13, 2023Updated 3 years ago
- This repository has been rewritten to move to the Eclipse Foundation. Find the old history here: https://github.com/TypeFox/Xpect☆38Jun 13, 2026Updated last month
- ☆21Dec 7, 2023Updated 2 years ago
- ☆10Dec 11, 2023Updated 2 years ago
- A repository for examples of all kinds of OCL (Object Constraint Language) expressions☆25Dec 29, 2016Updated 9 years ago
- Xtext/Sirius Integration☆21Dec 11, 2024Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- 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
- A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)☆191Dec 22, 2024Updated last year
- Developer kit for implementing Domain Specific Languages with Xtext. Format, Check, Export and Scope languages of DSL Developer Kit stand…☆49Aug 3, 2026Updated last week
- Base Forward Chaining Knowledge Base Maintenance System☆19Oct 2, 2021Updated 4 years ago
- ROAR-NET API Specification☆15Jul 26, 2026Updated 2 weeks ago
- AsciiDoc Editor built with Electron and Asciidoctor.js.☆11Feb 3, 2023Updated 3 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
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Java annotation processor utilities.☆14Apr 8, 2023Updated 3 years ago
- Examples for the book "Implementing Domain-Specific Languages with Xtext and Xtend" 978-1782160304☆34May 29, 2015Updated 11 years ago
- My dabbling with Pierce's languages in Haskell☆21Feb 4, 2011Updated 15 years ago
- 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
- A library and case-study for linear, intrinsically-typed interpreters in Agda☆36Dec 21, 2019Updated 6 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 14 years ago
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 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 10 years ago
- Java wrapper over the Stash REST API☆11Nov 24, 2016Updated 9 years ago
- MontiCore is a language workbench for an efficient development of domain-specific languages.☆102Updated this week
- Various LaTeX files that may be useful☆18Feb 27, 2016Updated 10 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 6 months ago
- Macro pre-processor definitions for ANTLR4 written using ANTLR4 :-)☆12Jul 15, 2018Updated 8 years ago
- Zoo of implementations associated to the ArduinoML kernel☆15Oct 17, 2024Updated last year