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 2 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:
- A collaborative and scalable open source platform for domain-specific models on the web and in the cloud☆71Mar 29, 2024Updated 2 years ago
- Web Native language Workbench with Projectional Web Editor☆76Updated this week
- ☆12May 16, 2022Updated 3 years ago
- Modelserver component☆45Dec 19, 2025Updated 4 months ago
- ☆21Dec 7, 2023Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆44Dec 12, 2025Updated 4 months ago
- Ecore and OCL runtime API for TypeScript and JavaScript☆28Jan 6, 2023Updated 3 years ago
- A Decision Modelling Language for Enterprise Architect☆26May 31, 2016Updated 9 years ago
- ☆20Apr 13, 2026Updated 2 weeks ago
- Turn your automated tests into living product documentation.☆15Mar 18, 2026Updated last month
- 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
- 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 9 months ago
- The base library of the Midgard Content Repository☆38Apr 3, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆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
- 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
- A library and case-study for linear, intrinsically-typed interpreters in Agda☆36Dec 21, 2019Updated 6 years ago
- Integration of the web-based GLSP client with VSCode☆26Apr 8, 2026Updated 3 weeks 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
- 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.
- Integration of the web-based GLSP client with Eclipse Theia☆22Apr 16, 2026Updated last week
- 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
- Java wrapper over the Stash REST API☆12Nov 24, 2016Updated 9 years ago
- Open-source implementation of the Foundational Semantics for Executable UML Models (Foundational UML) specification.☆64Apr 4, 2023Updated 3 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 2 months ago
- Various LaTeX files that may be useful☆18Feb 27, 2016Updated 10 years ago
- MontiCore is a language workbench for an efficient development of domain-specific languages.☆102Updated this week
- A C++ -based STIL parser.☆12Apr 29, 2021Updated 5 years ago
- Zoo of implementations associated to the ArduinoML kernel☆15Oct 17, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆13Feb 18, 2020Updated 6 years ago
- Some nice tools and Xtend extensions that make life with Xtend better☆22Apr 27, 2021Updated 5 years ago
- Sources of the Bonita Platform documentation content.☆43Updated this week
- A domain specific language that utilizes Domain-Driven Design☆17Jan 21, 2024Updated 2 years ago
- An example Xtext DSL in Theia with Sprotty visualisation☆77Apr 7, 2020Updated 6 years ago
- Structure and Interpretation of Computer Programs☆13Oct 8, 2016Updated 9 years ago
- Generic API for dispatch to Pyro backends.☆16Feb 13, 2022Updated 4 years ago