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 5 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:
- Gentleman is a lightweight web-based projectional editor that allows you to create and manipulate models.☆19May 10, 2026Updated 2 months ago
- Web Native language Workbench with Projectional Web Editor☆77Jul 13, 2026Updated last 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
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆12May 16, 2022Updated 4 years ago
- A repository for examples of all kinds of OCL (Object Constraint Language) expressions☆25Dec 29, 2016Updated 9 years ago
- ☆43Dec 12, 2025Updated 7 months ago
- Xtext/Sirius Integration☆21Dec 11, 2024Updated last year
- A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)☆191Dec 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
- ☆21Updated this week
- ROAR-NET API Specification☆13Jan 14, 2026Updated 6 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- The fastest way to build a language☆41Jan 4, 2022Updated 4 years ago
- OTP diagrams using PlantUML☆12Nov 28, 2019Updated 6 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
- A collection of neat tools related to the Xtend language.☆10Feb 16, 2015Updated 11 years ago
- My dabbling with Pierce's languages in Haskell☆22Feb 4, 2011Updated 15 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
- A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs☆77Mar 5, 2022Updated 4 years ago
- EMFText is an Eclipse plug-in that allows you to define text syntax for languages described by an Ecore metamodel. EMFText enables develo…☆17Jun 2, 2019Updated 7 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.
- 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☆26Jul 14, 2026Updated last week
- 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
- Integration of the web-based GLSP client with Eclipse Theia☆23Jul 14, 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
- Programming with JetBrains MPS - Textbook for Beginners☆22Nov 9, 2019Updated 6 years ago
- ☆12Oct 14, 2016Updated 9 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.
- Eclipse Modeling Framework for C++☆47Apr 9, 2021Updated 5 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
- Formalization of Categories with Families☆16Oct 4, 2021Updated 4 years ago
- theia-tree-editor☆16Oct 7, 2023Updated 2 years ago
- An example Xtext DSL in Theia with Sprotty visualisation☆77Apr 7, 2020Updated 6 years ago
- Luck -- A Language for Property-Based Generators☆37Feb 28, 2025Updated last year
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Mar 3, 2021Updated 5 years ago