Alternatives and similar repositories for self-dsl:

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

• dslmeinte / polyglot-emf
  Proposal(s) to make EMF polyglot.
  ☆11Updated 4 years ago
• coolya / mps.rocks
  A curated list of awesome MPS extensions/libraries, software and resources.
  ☆62Updated 2 weeks ago
• pyecore / pyecoregen
  Python Model to Text framework for PyEcore, including the Ecore to Python generator
  ☆31Updated 3 years ago
• diverse-project / melange
  The Melange Language Workbench
  ☆29Updated last year
• metaborg / spoofax
  Spoofax runtime
  ☆140Updated last month
• textX / viewX-vscode
  A Visual Studio Code extension for visualization of code/model written in a DSL created using textX.
  ☆12Updated 6 years ago
• AdaCore / sparkformal
  The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.
  ☆11Updated 3 years ago
• freon4dsl / Freon4dsl
  Web Native language Workbench with Projectional Web Editor
  ☆69Updated last week
• eclipse-xsemantics / xsemantics
  Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…
  ☆32Updated last year
• modelix / modelix
  A collaborative and scalable open source platform for domain-specific models on the web and in the cloud
  ☆69Updated 11 months ago
• borkdominik / bigUML
  A UML web modeling tool based on GLSP, distributed via a VS Code extension.
  ☆39Updated this week
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• CampagneLaboratory / ANTLR_MPS
  An ANTLR language for MPS, and the ToMPS language to help create MPS languages and ANTRL visitors from an ANTLR 4 grammar.
  ☆25Updated 7 years ago
• atlanmod / coqtl
  CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
  ☆14Updated 3 years ago
• usethesource / flybytes
  Flybytes is an intermediate language between JVM bytecode and software languages (DSLs, PLs), for compilation and decompilation.
  ☆18Updated 4 months ago
• pyecore / pyecore
  A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)
  ☆171Updated 3 months ago
• smucclaw / dmnmd
  Decision Model & Notation in Markdown table format
  ☆22Updated last year
• edwardcrichton / BToolkit
  The BToolkit, a toolkit supporting software development with the B-method.
  ☆37Updated 11 months ago
• E2Music / pyTabs
  A Domain-Specific Language (DSL) for simplified music notation.
  ☆19Updated 9 years ago
• cursorless-dev / vscode-parse-tree
  Syntax trees for VSCode using tree-sitter
  ☆46Updated 2 months ago
• ptarau / iProlog
  Java-based lightweight Prolog virtual machine
  ☆34Updated 8 months ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated 10 months ago
• slebok / zoo
  Grammar Zoo
  ☆87Updated 6 years ago
• pythological / unification
  Straightforward unification in Python that's extensible via generic functions.
  ☆48Updated 6 months ago
• IETS3 / iets3.opensource
  Open Source Parts of IETS3
  ☆53Updated this week
• SWI-Prolog / packages-jpl
  JPL: The Prolog <-> Java interface
  ☆54Updated last week
• ModelDriven / Alf-Reference-Implementation
  Open-source implementation of the Action Language for fUML (Alf) specification.
  ☆30Updated last year
• amyjko / whyline
  The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.
  ☆78Updated 8 years ago
• shingarov / MachineArithmetic
  A mathematical foundation for Smalltalk-25
  ☆17Updated last week
• datacamp / antlr-ast
  Library for building abstract syntax trees from antlr parsers
  ☆40Updated 5 years ago