Alternatives and similar repositories for self-dsl

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

• pyecore / pyecore
  A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)
  ☆183Updated last year
• diverse-project / melange
  The Melange Language Workbench
  ☆29Updated 2 years ago
• modelix / modelix
  A collaborative and scalable open source platform for domain-specific models on the web and in the cloud
  ☆71Updated last year
• metaborg / spoofax
  Spoofax runtime
  ☆156Updated 8 months ago
• moosetechnology / Moose
  MOOSE - Platform for software and data analysis.
  ☆152Updated 3 weeks ago
• AToMPM / atompm
  A Tool for Multi-Paradigm Modeling
  ☆25Updated last year
• igordejanovic / parglare
  A pure Python LR/GLR parser - http://www.igordejanovic.net/parglare/
  ☆145Updated last month
• simply-logical / simply-logical
  Online, interactive edition of the "Simply Logical" Prolog textbook
  ☆169Updated last year
• E2Music / pyTabs
  A Domain-Specific Language (DSL) for simplified music notation.
  ☆19Updated 10 years ago
• pythological / unification
  Straightforward unification in Python that's extensible via generic functions.
  ☆51Updated 2 months ago
• usethesource / rascal
  The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…
  ☆446Updated this week
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆31Updated 4 years ago
• potassco / guide
  🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.
  ☆86Updated 2 years ago
• slebok / zoo
  Grammar Zoo
  ☆98Updated 7 years ago
• ModelDriven / fUML-Reference-Implementation
  Open-source implementation of the Foundational Semantics for Executable UML Models (Foundational UML) specification.
  ☆64Updated 2 years ago
• pythological / kanren
  An extensible, lightweight relational/logic programming DSL written in pure Python
  ☆232Updated 4 months ago
• nclarius / pyPL
  Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
  ☆20Updated 4 months ago
• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆27Updated last week
• textX / viewX-vscode
  A Visual Studio Code extension for visualization of code/model written in a DSL created using textX.
  ☆12Updated 7 years ago
• potassco / clingcon
  ⛓️ Extension of clingo to handle constraints over integers
  ☆33Updated 3 weeks ago
• datacamp / antlr-ast
  Library for building abstract syntax trees from antlr parsers
  ☆43Updated 5 years ago
• opencog / ure
  [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…
  ☆56Updated 3 months ago
• freon4dsl / Freon4dsl
  Web Native language Workbench with Projectional Web Editor
  ☆73Updated this week
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• rewriting / tom
  ☆34Updated 5 years ago
• Attempto / Clex
  Large lexicon for APE (~100,000 entries)
  ☆30Updated 7 years ago
• mbeddr / mbeddr.core
  The mbeddr core. An extensible C
  ☆227Updated this week
• ciao-lang / ciao
  Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
  ☆321Updated 6 months ago
• edwardcrichton / BToolkit
  The BToolkit, a toolkit supporting software development with the B-method.
  ☆37Updated last year
• boltex / leointeg
  Leo Editor Integration with VS Code
  ☆83Updated 3 weeks ago