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).
☆38Feb 5, 2026Updated 8 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.☆21Aug 17, 2026Updated last month
- Web Native language Workbench with Projectional Web Editor☆80Sep 18, 2026Updated 3 weeks ago
- Various DSLs implemented with Xtext 2.0 and Xtext-related utilities, as open source.☆17Oct 4, 2014Updated 12 years ago
- A framework to build projectional editors running in the browser☆15Sep 29, 2023Updated 3 years ago
- Seven Languages in Seven Weeks (with Xtext)☆73Feb 28, 2023Updated 3 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 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☆38Sep 12, 2026Updated 3 weeks ago
- ☆21Dec 7, 2023Updated 2 years ago
- Various Maven/Tycho plugins used by JBoss Tools☆12Oct 3, 2024Updated 2 years ago
- ☆43Aug 23, 2026Updated last month
- 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
- Ecore and OCL runtime API for TypeScript and JavaScript☆27Jan 6, 2023Updated 3 years ago
- A variant type for Java, with customisable automatic type conversion☆14Aug 9, 2012Updated 14 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Developer kit for implementing Domain Specific Languages with Xtext. Format, Check, Export and Scope languages of DSL Developer Kit stand…☆49Oct 2, 2026Updated last week
- Base Forward Chaining Knowledge Base Maintenance System☆19Oct 2, 2021Updated 5 years ago
- Historical Estimates & Model Predictions for COVID-19 in Finland☆13Jun 2, 2023Updated 3 years ago
- ROAR-NET API Specification☆15Jul 26, 2026Updated 2 months ago
- The fastest way to build a language☆41Jan 4, 2022Updated 4 years ago
- OTP diagrams using PlantUML☆12Nov 28, 2019Updated 6 years ago
- DefinitelyTyped documentation-generator source + gh-pages☆12Jun 26, 2014Updated 12 years ago
- AsciiDoc Editor built with Electron and Asciidoctor.js.☆11Feb 3, 2023Updated 3 years ago
- ☆12Jul 8, 2019Updated 7 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.
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 6 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
- EMFText is an Eclipse plug-in that allows you to define text syntax for languages described by an Ecore metamodel. EMFText enables develo…☆18Jun 2, 2019Updated 7 years ago
- 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☆37Dec 21, 2019Updated 6 years ago
- Integration of the web-based GLSP client with VSCode☆26Sep 25, 2026Updated 2 weeks ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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
- Open-source implementation of the Foundational Semantics for Executable UML Models (Foundational UML) specification.☆64Apr 4, 2023Updated 3 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
- ☆36Jan 16, 2020Updated 6 years ago
- Integration of the web-based GLSP client with Eclipse Theia☆23Sep 25, 2026Updated 2 weeks ago