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
  ☆39Updated 4 months ago
• textX / viewX-vscode
  A Visual Studio Code extension for visualization of code/model written in a DSL created using textX.
  ☆12Updated 6 years ago
• diverse-project / melange
  The Melange Language Workbench
  ☆29Updated last year
• AdaCore / sparkformal
  The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.
  ☆11Updated 3 years ago
• coolya / mps.rocks
  A curated list of awesome MPS extensions/libraries, software and resources.
  ☆61Updated last week
• wholeplatform / whole
  Whole Platform Language Workbench
  ☆27Updated 8 months ago
• modelix / modelix
  A collaborative and scalable open source platform for domain-specific models on the web and in the cloud
  ☆69Updated 10 months ago
• ModelDriven / Alf-Reference-Implementation
  Open-source implementation of the Action Language for fUML (Alf) specification.
  ☆30Updated last year
• edwardcrichton / BToolkit
  The BToolkit, a toolkit supporting software development with the B-method.
  ☆36Updated 10 months ago
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆34Updated last year
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• rewriting / tom
  ☆34Updated 4 years ago
• aryx / yacfe
  Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on…
  ☆25Updated 6 years ago
• borkdominik / bigUML
  A UML web modeling tool based on GLSP, distributed via a VS Code extension.
  ☆39Updated this week
• theoremprover-museum / theoremprover-museum.github.io
  ☆51Updated 2 months ago
• geodes-sms / gentleman
  Gentleman is a lightweight web-based projectional editor that allows you to create and manipulate models.
  ☆17Updated 5 months ago
• 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
• metaborg / spoofax
  Spoofax runtime
  ☆137Updated 2 weeks ago
• simply-logical / simply-logical
  Online, interactive edition of the "Simply Logical" Prolog textbook
  ☆131Updated 2 months ago
• pythological / unification
  Straightforward unification in Python that's extensible via generic functions.
  ☆46Updated 5 months ago
• potassco / clorm
  🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner
  ☆54Updated 7 months ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated 8 months ago
• gilch / drython
  metaprogramming for don't-repeat-yourself Python
  ☆23Updated 5 years ago
• ocamleditor / ocamleditor
  OCamlEditor is a source code editor and build tool for OCaml. It provides many features to facilitate editing code, accessing API refere…
  ☆26Updated this week
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆74Updated last month
• JetBrains / mps-coderules
  Type checking and logical inference for JetBrains MPS
  ☆32Updated 2 months ago
• luc-tielen / souffle-haskell
  Haskell bindings for the Souffle datalog language
  ☆102Updated 9 months ago
• idaks / PW-explorer
  ☆16Updated 3 years ago
• LuKuangChen / stacker-on-racket
  A notional machine for the SMoL languages
  ☆22Updated last year
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago