goto40 / self-dslLinks
like self-html... but for DSLs
☆11Updated 4 years ago
Alternatives and similar repositories for self-dsl
Users that are interested in self-dsl are comparing it to the libraries listed below
Sorting:
- Language server for domain specific languages based on textX☆40Updated last week
- A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)☆183Updated 11 months ago
- Supercharge your Python with parts of Lisp and Haskell.☆100Updated 7 months ago
- Straightforward unification in Python that's extensible via generic functions.☆51Updated last month
- A pure Python LR/GLR parser - http://www.igordejanovic.net/parglare/☆145Updated 2 weeks ago
- A collaborative and scalable open source platform for domain-specific models on the web and in the cloud☆71Updated last year
- Python Model to Text framework for PyEcore, including the Ecore to Python generator☆32Updated 4 years ago
- ☆71Updated 4 years ago
- An extensible, lightweight relational/logic programming DSL written in pure Python☆232Updated 3 months ago
- Spoofax runtime☆154Updated 7 months ago
- Logic Programming in Python☆31Updated 4 years ago
- Online, interactive edition of the "Simply Logical" Prolog textbook☆169Updated 11 months ago
- A Domain-Specific Language (DSL) for simplified music notation.☆19Updated 10 years ago
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆34Updated 2 years ago
- Large lexicon for APE (~100,000 entries)☆30Updated 7 years ago
- Leo Editor Integration with VS Code☆83Updated last week
- Sismic Interactive Statechart Model Interpreter and Checker http://sismic.readthedocs.io/☆155Updated last month
- The Heterogeneous Tool Set☆59Updated 2 months ago
- Advanced macro expander and language lab for Python.☆69Updated 7 months ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Updated last month
- GNU Prolog☆134Updated last week
- Learn Prolog Now LaTeX sources☆101Updated 3 years ago
- MOOSE - Platform for software and data analysis.☆150Updated last week
- Prolog Implementation in Python☆12Updated 7 years ago
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆10Updated 10 years ago
- Resolution theorem proving for predicate logic in pure Python.☆96Updated 2 years ago
- A UML web modeling tool based on GLSP, distributed via a VS Code extension.☆49Updated last week
- A gdb-like Python3 Debugger in the Trepan family☆170Updated 3 weeks ago
- Type checking and logical inference for JetBrains MPS☆32Updated last month
- Proposal(s) to make EMF polyglot.☆11Updated 4 years ago