Alternatives and similar repositories for use

Users that are interested in use are comparing it to the libraries listed below

• graphs4value / refinery
  Refinery: an efficient graph solver for generating well-formed models
  ☆17Updated last week
• markusvoelter / ProgrammingBasics
  How to think like a programmer.
  ☆38Updated last year
• didoudiaz / gprolog
  GNU Prolog
  ☆132Updated 2 months ago
• tammet / gkc
  A reasoning system for large knowledge bases.
  ☆33Updated 10 months ago
• OCamlPro / gnucobol
  A clone of the sourceforge GnuCOBOL compiler from COBOL to C.
  ☆40Updated this week
• FeatureIDE / FeatureIDE
  An extensible framework for feature-oriented software development
  ☆136Updated 2 weeks ago
• szschaler / GridGames
  A DSL for developing grid-based arcade-style games. Because, .... fun!
  ☆20Updated 2 years ago
• mdenet / awesome-mde
  A curated list of awesome model-driven engineering resources.
  ☆21Updated last year
• 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…
  ☆23Updated 2 months ago
• diverse-project / melange
  The Melange Language Workbench
  ☆29Updated 2 years ago
• viatra / VIATRA-Generator
  An efficient graph solver for generating well-formed models
  ☆25Updated 3 years ago
• JetBrains / MPS-extensions
  MPS-extensions aims to ease language development within MPS.
  ☆86Updated this week
• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆27Updated this week
• vscosta / yap
  ☆60Updated last week
• qorf / quorum-language
  The primary repository for the Quorum Programming Language
  ☆26Updated last week
• antlr / antlr5
  ☆72Updated last year
• modelix / modelix
  A collaborative and scalable open source platform for domain-specific models on the web and in the cloud
  ☆71Updated last year
• zertovitch / cbsg
  The Corporate Bullshit Generator
  ☆14Updated 2 months ago
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆55Updated 2 months ago
• eclipse-archived / xtext-extras
  xtext-extras
  ☆20Updated 2 years 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 year
• milahu / awesome-transpilers
  A curated list of awesome transpilers. aka source-to-source compilers
  ☆104Updated last year
• Universal-Variability-Language / uvl-parser
  UVL (Universal Variability Language) is a concise and extensible language for modeling variability in software product lines. This reposi…
  ☆11Updated last month
• k-pet-group / BlueJ-Greenfoot
  BlueJ and Greenfoot
  ☆124Updated last month
• spechub / Hets
  The Heterogeneous Tool Set
  ☆59Updated last month
• goblint / cil
  C Intermediate Language
  ☆156Updated 2 weeks ago
• BESSER-PEARL / BESSER
  A Python-based low-modeling low-code platform for smart and AI-enhanced software
  ☆127Updated last week
• eclipse-sirius / sirius-web
  Sirius Web: open-source low-code platform to define custom web applications supporting your specific visual languages
  ☆115Updated last week
• ModelDriven / fUML-Reference-Implementation
  Open-source implementation of the Foundational Semantics for Executable UML Models (Foundational UML) specification.
  ☆64Updated 2 years ago
• itemis / xtext-languageserver-example
  An Example for an Xtext Language Server
  ☆55Updated 2 years ago