Alternatives and similar repositories for use

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

• k-pet-group / BlueJ-Greenfoot
  BlueJ and Greenfoot
  ☆121Updated this week
• markusvoelter / ProgrammingBasics
  How to think like a programmer.
  ☆38Updated last year
• graphs4value / refinery
  Refinery: an efficient graph solver for generating well-formed models
  ☆17Updated this week
• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆27Updated last week
• JetBrains / MPS-extensions
  MPS-extensions aims to ease language development within MPS.
  ☆86Updated last week
• eclipse-che4z / che-che4z-lsp-for-cobol
  COBOL Language Support provides autocomplete, highlighting and diagnostics for COBOL code and copybooks
  ☆100Updated this week
• FeatureIDE / FeatureIDE
  An extensible framework for feature-oriented software development
  ☆135Updated last month
• milahu / awesome-transpilers
  A curated list of awesome transpilers. aka source-to-source compilers
  ☆98Updated last year
• kaby76 / Trash
  Toolkit for grammars
  ☆92Updated last month
• SoftVarE-Group / Course-on-Software-Product-Lines
  Material for lectures on software product lines
  ☆15Updated 3 weeks ago
• modelix / modelix
  A collaborative and scalable open source platform for domain-specific models on the web and in the cloud
  ☆70Updated last year
• uwol / proleap-cobol-parser
  ProLeap ANTLR4-based parser for COBOL
  ☆173Updated 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…
  ☆24Updated last month
• diverse-project / melange
  The Melange Language Workbench
  ☆29Updated 2 years ago
• itemis / xtext-languageserver-example
  An Example for an Xtext Language Server
  ☆54Updated 2 years ago
• usethesource / flybytes
  Flybytes is an intermediate language between JVM bytecode and software languages (DSLs, PLs), for compilation and decompilation.
  ☆18Updated last week
• tammet / gkc
  A reasoning system for large knowledge bases.
  ☆33Updated 9 months ago
• ModelEngineeringBooks / MDSEBook
  This repository hosts all the projects used in the MDSE Book
  ☆15Updated 6 years ago
• mdenet / awesome-mde
  A curated list of awesome model-driven engineering resources.
  ☆19Updated last year
• OCamlPro / gnucobol
  A clone of the sourceforge GnuCOBOL compiler from COBOL to C.
  ☆39Updated last week
• fnogatz / plammar
  A Prolog grammar written in Prolog, for parsing and serialising Prolog code.
  ☆15Updated 4 years ago
• antlr / antlr5
  ☆71Updated last year
• TheAliceProject / alice3
  The Alice 3 block-based IDE desktop application. Also contains a NetBeans plugin to extend development into java.
  ☆164Updated this week
• KeYProject / key
  KeY Theorem Prover for Deductive Java Verification
  ☆65Updated this week
• didoudiaz / gprolog
  GNU Prolog
  ☆131Updated 2 weeks 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
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆63Updated 7 months ago
• TweetyProjectTeam / TweetyProject
  TweetyProject is a collection of Java libraries that implement approaches to different areas of artificial intelligence.
  ☆35Updated 3 weeks ago
• eclipse-platform / eclipse.platform
  Eclipse Platform - a comprehensive set of frameworks and common services that collectively provide a powerful software development infras…
  ☆134Updated this week
• vscosta / yap
  ☆59Updated 2 weeks ago