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 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
• pyecore / pyecoregen
  Python Model to Text framework for PyEcore, including the Ecore to Python generator
  ☆32Updated 4 years ago
• diverse-project / melange
  The Melange Language Workbench
  ☆29Updated last year
• rewriting / tom
  ☆34Updated 4 years ago
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• JetBrains / mps-coderules
  Type checking and logical inference for JetBrains MPS
  ☆33Updated 2 months ago
• 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 3 weeks ago
• pyecore / pyecore
  A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)
  ☆174Updated 6 months ago
• Technologicat / unpythonic
  Supercharge your Python with parts of Lisp and Haskell.
  ☆95Updated 2 months ago
• ChrisTimperley / comby-python
  Python bindings for Comby
  ☆13Updated last year
• edwardcrichton / BToolkit
  The BToolkit, a toolkit supporting software development with the B-method.
  ☆36Updated last year
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆36Updated last year
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• maude-team / MFE
  Maude Formal Environment
  ☆17Updated 5 years ago
• AdaCore / sparkformal
  The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.
  ☆12Updated 4 years ago
• E2Music / pyTabs
  A Domain-Specific Language (DSL) for simplified music notation.
  ☆19Updated 10 years ago
• acsl-language / acsl
  Sources for the ANSI/ISO C Specification Language manual
  ☆57Updated last week
• MetaBorgCube / declare-your-language
  a book about declarative language definition
  ☆23Updated 9 years ago
• ModelDriven / Alf-Reference-Implementation
  Open-source implementation of the Action Language for fUML (Alf) specification.
  ☆30Updated 2 years ago
• SOM-st / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆27Updated 4 months ago
• IETS3 / iets3.opensource
  Open Source Parts of IETS3
  ☆54Updated this week
• hpi-swa / sandblocks
  A projectional editor for Squeak/Smalltalk.
  ☆43Updated 4 months 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
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated last year
• MichaelPaddon / epsilon
  epsilon is a scanner generator
  ☆28Updated 3 years ago
• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆27Updated last week
• mristin / python-by-contract-corpus
  A corpus of Python programs annotated with contracts
  ☆22Updated 2 years ago
• badetitou / Pharo-LanguageServer
  A Language Server Protocol implementation in Pharo
  ☆32Updated 3 weeks ago