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☆39Updated this week
- An efficient graph solver for generating well-formed models☆25Apr 1, 2022Updated 4 years ago
- Web Native language Workbench with Projectional Web Editor☆79Updated 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
- 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.
- A framework to build projectional editors running in the browser☆15Sep 29, 2023Updated 2 years ago
- ☆12May 16, 2022Updated 4 years ago
- Modelserver component☆45Jul 28, 2026Updated last month
- A DSL for generating user interfaces, built with Langium☆20Jun 13, 2023Updated 3 years ago
- ☆21Dec 7, 2023Updated 2 years ago
- sprotty-vscode☆62Updated this week
- ☆43Aug 23, 2026Updated last week
- Xtext/Sirius Integration☆21Dec 11, 2024Updated last year
- Opt - AnyVal Option-like type☆10Jan 7, 2017Updated 9 years 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.
- A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)☆192Dec 22, 2024Updated last year
- Yet another VSS -> SVN / GIT / TFS converter.☆10Feb 26, 2026Updated 6 months ago
- A variant type for Java, with customisable automatic type conversion☆14Aug 9, 2012Updated 14 years ago
- 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
- OTP diagrams using PlantUML☆12Nov 28, 2019Updated 6 years ago
- Repository for holding all CCSDS MO Training documentation, examples, tutorials and issue lists☆14Jul 30, 2019Updated 7 years ago
- AsciiDoc Editor built with Electron and Asciidoctor.js.☆11Feb 3, 2023Updated 3 years ago
- ☆12Jul 8, 2019Updated 7 years 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.
- 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
- Balzac is a domain-specific language to write Bitcoin transactions.☆26Jul 12, 2025Updated last year
- Plugnedit drag and drop HTML 5 editor☆15Aug 21, 2015Updated 11 years ago
- My dabbling with Pierce's languages in Haskell☆21Feb 4, 2011Updated 15 years ago
- allows to document a complex, distributed model in an easy, concise and project-/domain-specific way.☆20Jan 22, 2020Updated 6 years ago
- A curated list of awesome model-driven engineering resources.☆23Sep 21, 2024Updated last year
- 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 library and case-study for linear, intrinsically-typed interpreters in Agda☆36Dec 21, 2019Updated 6 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.
- Lightweight and extensible DTN library☆19Mar 28, 2020Updated 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 15 years ago
- Open-source implementation of the Foundational Semantics for Executable UML Models (Foundational UML) specification.☆63Apr 4, 2023Updated 3 years ago
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- SpawnFest 2021☆13Sep 19, 2021Updated 4 years ago
- Zero-dependency Erlang library that generates captcha images☆12Oct 4, 2023Updated 2 years ago