Alternatives and similar repositories for self-dsl

Users that are interested in self-dsl are comparing it to the libraries listed below

• textX / textX-LS
  Language server for domain specific languages based on textX
  ☆40Updated 2 weeks ago
• pyecore / pyecore
  A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)
  ☆183Updated last year
• E2Music / pyTabs
  A Domain-Specific Language (DSL) for simplified music notation.
  ☆19Updated 10 years ago
• diverse-project / melange
  The Melange Language Workbench
  ☆30Updated 2 years ago
• pythological / unification
  Straightforward unification in Python that's extensible via generic functions.
  ☆53Updated 3 months ago
• moosetechnology / Moose
  MOOSE - Platform for software and data analysis.
  ☆152Updated 2 weeks ago
• rewriting / tom
  ☆34Updated 5 years ago
• hpi-swa / polyglot-live-programming
  Polyglot Live Programming with GraalVM, the Language Server Protocol (LSP), and VS Code.
  ☆39Updated 4 years ago
• potassco / clingcon
  ⛓️ Extension of clingo to handle constraints over integers
  ☆34Updated last week
• pyecore / pyecoregen
  Python Model to Text framework for PyEcore, including the Ecore to Python generator
  ☆32Updated 4 years ago
• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆27Updated 3 weeks ago
• eclipse-xsemantics / xsemantics
  Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…
  ☆34Updated last week
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• igordejanovic / parglare
  A pure Python LR/GLR parser - http://www.igordejanovic.net/parglare/
  ☆145Updated last week
• usethesource / rascal-language-servers
  An LSP server for Rascal which includes an easy-to-use LSP generator for languages implemented in Rascal, and an interactive terminal REP…
  ☆22Updated this week
• modelix / modelix
  A collaborative and scalable open source platform for domain-specific models on the web and in the cloud
  ☆71Updated last year
• Technologicat / unpythonic
  Supercharge your Python with parts of Lisp and Haskell.
  ☆101Updated last week
• coolya / mps.rocks
  A curated list of awesome MPS extensions/libraries, software and resources.
  ☆66Updated 2 months ago
• pythological / kanren
  An extensible, lightweight relational/logic programming DSL written in pure Python
  ☆236Updated 5 months ago
• metaborg / spoofax
  Spoofax runtime
  ☆160Updated 9 months ago
• Trepan-Debuggers / python3-trepan
  A gdb-like Python3 Debugger in the Trepan family
  ☆171Updated 2 weeks ago
• freon4dsl / Freon4dsl
  Web Native language Workbench with Projectional Web Editor
  ☆75Updated this week
• hpi-swa / sandblocks
  A projectional editor for Squeak/Smalltalk.
  ☆45Updated 2 months ago
• slebok / zoo
  Grammar Zoo
  ☆98Updated 7 years ago
• tlaplus / PlusPy
  Python interpreter for TLA+ specifications
  ☆116Updated last year
• JetBrains / mps-coderules
  Type checking and logical inference for JetBrains MPS
  ☆32Updated 3 months ago
• AdaCore / sparkformal
  The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.
  ☆12Updated 4 years ago
• MichaelPaddon / epsilon
  epsilon is a scanner generator
  ☆29Updated 3 years ago
• BESSER-PEARL / B-OCL-Interpreter
  B-OCL is a tool designed to parse and evaluate the OCL constraints designed on BESSER models. It is a python based implementation that ut…
  ☆24Updated 2 months ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆34Updated last week