Alternatives and similar repositories for meta-environment

Users that are interested in meta-environment are comparing it to the libraries listed below

• rewriting / tom
  ☆34Updated 5 years ago
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆29Updated 2 weeks ago
• metaborg / spoofax
  Spoofax runtime
  ☆149Updated 5 months ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆29Updated last year
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆105Updated last year
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated 2 weeks ago
• spechub / Hets
  The Heterogeneous Tool Set
  ☆59Updated last week
• awto / chr2sql
  CHR2 to SQL conversion
  ☆14Updated 10 years ago
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆52Updated 3 months ago
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• isabelle-prover / mirror-isabelle
  Git mirror of https://isabelle.in.tum.de/repos/isabelle
  ☆72Updated last week
• eprover / eprover
  ☆153Updated 2 weeks ago
• softdevteam / eco
  Editor for language composition
  ☆58Updated 2 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated 4 months ago
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆63Updated 2 months ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• rurban / picat-lang
  git mirror with some local fixes. currently not uptodate
  ☆16Updated 2 years ago
• rupertlssmith / hak_wambook
  Implementation of "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci.
  ☆28Updated 8 years ago
• melt-umn / silver
  An attribute grammar-based programming language for composable language extensions
  ☆65Updated this week
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆34Updated 2 years ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆91Updated 3 months ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆79Updated 2 years ago
• pythological / unification
  Straightforward unification in Python that's extensible via generic functions.
  ☆50Updated last month
• hhu-stups / prolog-jupyter-kernel
  A Jupyter kernel for Prolog
  ☆22Updated last year
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• ptarau / iProlog
  Java-based lightweight Prolog virtual machine
  ☆34Updated last year
• inrick / Featherweight-Java
  An attempt to implement the typing rules of Featherweight Java using Haskell.
  ☆11Updated 13 years ago
• teyjus / teyjus
  An efficient implementation of the higher-order logic programming language Lambda Prolog
  ☆157Updated last year
• UoYCS-plasma / GP2
  The rule-based graph programming language GP 2
  ☆69Updated last year
• MetaBorgCube / IceDust
  A language for data modeling and incremental computing of derived values
  ☆11Updated last year