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 4 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☆39May 28, 2026Updated last week
- Gentleman is a lightweight web-based projectional editor that allows you to create and manipulate models.☆18May 10, 2026Updated 3 weeks ago
- An efficient graph solver for generating well-formed models☆25Apr 1, 2022Updated 4 years ago
- A collaborative and scalable open source platform for domain-specific models on the web and in the cloud☆71Mar 29, 2024Updated 2 years ago
- A framework to build projectional editors running in the browser☆15Sep 29, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- This repository has been rewritten to move to the Eclipse Foundation. Find the old history here: https://github.com/TypeFox/Xpect☆38Mar 22, 2026Updated 2 months ago
- ☆12May 16, 2022Updated 4 years ago
- ☆21Dec 7, 2023Updated 2 years ago
- sprotty-vscode☆61Jun 1, 2026Updated last week
- Various Maven/Tycho plugins used by JBoss Tools☆12Oct 3, 2024Updated last year
- Xtext/Sirius Integration☆21Dec 11, 2024Updated last year
- Ecore and OCL runtime API for TypeScript and JavaScript☆28Jan 6, 2023Updated 3 years ago
- Yet another VSS -> SVN / GIT / TFS converter.☆10Feb 26, 2026Updated 3 months ago
- A variant type for Java, with customisable automatic type conversion☆14Aug 9, 2012Updated 13 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆20Apr 13, 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
- OTP diagrams using PlantUML☆12Nov 28, 2019Updated 6 years ago
- Learn Erlang through this set of challenges. An interactive system for getting to know Erlang.☆33Apr 13, 2015Updated 11 years ago
- DefinitelyTyped documentation-generator source + gh-pages☆12Jun 26, 2014Updated 11 years ago
- AsciiDoc Editor built with Electron and Asciidoctor.js.☆11Feb 3, 2023Updated 3 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
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- My dabbling with Pierce's languages in Haskell☆22Feb 4, 2011Updated 15 years ago
- A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs☆77Mar 5, 2022Updated 4 years ago
- Lightweight and extensible DTN library☆19Mar 28, 2020Updated 6 years ago
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- Rake buildsystem for generating Manning DocBook and PDF files from AsciiDoc.☆17May 10, 2018Updated 8 years ago
- Integration of the web-based GLSP client with Eclipse Theia☆22Updated this 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
- ☆13Oct 14, 2016Updated 9 years ago
- Java wrapper over the Stash REST API☆12Nov 24, 2016Updated 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.
- Decorator Contracts is a library that provides the ability to create and assign Code Contracts to ECMAScript and TypeScript classes. This…☆18Feb 7, 2026Updated 4 months ago
- A sample project to show in our scale blog post☆30Sep 18, 2017Updated 8 years ago
- Various LaTeX files that may be useful☆18Feb 27, 2016Updated 10 years ago
- Tutorial: Building a language server for your DSL with Xtext☆27Jul 15, 2023Updated 2 years ago
- Zoo of implementations associated to the ArduinoML kernel☆15Oct 17, 2024Updated last year
- ☆13Feb 18, 2020Updated 6 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