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☆40Updated 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☆77May 19, 2026Updated last month
- A framework to build projectional editors running in the browser☆15Sep 29, 2023Updated 2 years ago
- This repository has been rewritten to move to the Eclipse Foundation. Find the old history here: https://github.com/TypeFox/Xpect☆38Jun 13, 2026Updated 2 weeks ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆12May 16, 2022Updated 4 years ago
- A DSL for generating user interfaces, built with Langium☆20Jun 13, 2023Updated 3 years ago
- ☆21Dec 7, 2023Updated 2 years ago
- Various Maven/Tycho plugins used by JBoss Tools☆12Oct 3, 2024Updated last year
- Xtext/Sirius Integration☆21Dec 11, 2024Updated last year
- ☆43Dec 12, 2025Updated 6 months ago
- Opt - AnyVal Option-like type☆10Jan 7, 2017Updated 9 years ago
- Ecore and OCL runtime API for TypeScript and JavaScript☆27Jan 6, 2023Updated 3 years ago
- Developer kit for implementing Domain Specific Languages with Xtext. Format, Check, Export and Scope languages of DSL Developer Kit stand…☆48Jun 22, 2026Updated last week
- 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.
- An interpreter of the Lox scripting language, implemented in TypeScript☆18Dec 24, 2021Updated 4 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
- 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 11 months ago
- Rebar3 plugin wrapper around TypEr☆12Oct 30, 2024Updated last year
- OTP diagrams using PlantUML☆12Nov 28, 2019Updated 6 years ago
- The base library of the Midgard Content Repository☆38Apr 3, 2023Updated 3 years ago
- DefinitelyTyped documentation-generator source + gh-pages☆12Jun 26, 2014Updated 12 years ago
- Framework for to implement JavaFX JUnit-Tests☆10Nov 8, 2018Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 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
- Plugnedit drag and drop HTML 5 editor☆15Aug 21, 2015Updated 10 years ago
- Examples for the book "Implementing Domain-Specific Languages with Xtext and Xtend" 978-1782160304☆34May 29, 2015Updated 11 years ago
- A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs☆77Mar 5, 2022Updated 4 years ago
- ROAR-NET API Specification☆13Jan 14, 2026Updated 5 months 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☆26Jun 18, 2026Updated last week
- Software Language Engineering Body of Knowledge☆49Feb 17, 2020Updated 6 years ago
- Deploy Kinto on Heroku via a one-click button☆11Mar 23, 2023Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- An implementation of a Vector Clock for iOS / OSX☆18Dec 12, 2013Updated 12 years ago
- Rake buildsystem for generating Manning DocBook and PDF files from AsciiDoc.☆17May 10, 2018Updated 8 years ago
- Zero-dependency Erlang library that generates captcha images☆12Oct 4, 2023Updated 2 years ago
- C++11 port of the Diff, Match and Patch libraries for Plain Text.☆12Mar 4, 2014Updated 12 years ago
- 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