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 last month
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆35Updated 2 years ago
• spechub / Hets
  The Heterogeneous Tool Set
  ☆59Updated last month
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆30Updated last year
• herrmanntom / setlX
  setlX is an interpreter for the high level programming-language SetlX (set language extended).
  ☆29Updated 4 years ago
• slebok / zoo
  Grammar Zoo
  ☆96Updated 6 years ago
• isabelle-prover / mirror-isabelle
  Git mirror of https://isabelle.in.tum.de/repos/isabelle
  ☆71Updated this week
• inrick / Featherweight-Java
  An attempt to implement the typing rules of Featherweight Java using Haskell.
  ☆11Updated 13 years ago
• hhu-stups / prolog-jupyter-kernel
  A Jupyter kernel for Prolog
  ☆22Updated last year
• softdevteam / eco
  Editor for language composition
  ☆58Updated 2 years ago
• melt-umn / silver
  An attribute grammar-based programming language for composable language extensions
  ☆66Updated this week
• awto / chr2sql
  CHR2 to SQL conversion
  ☆14Updated 10 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated 4 months ago
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated 2 months ago
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆29Updated 7 years ago
• manuel-serrano / hiphop
  Reactive Web Programming
  ☆29Updated this week
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated last week
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆31Updated 8 years ago
• metaborg / spoofax
  Spoofax runtime
  ☆149Updated 6 months ago
• dcao / babble
  library learning w egraphs
  ☆21Updated 2 years ago
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆105Updated 2 years ago
• anmavrid / DesignBIP
  ☆11Updated 7 years ago
• CafeOBJ / cafeobj
  Development of the CafeOBJ interpreter
  ☆38Updated 11 months ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆87Updated 2 years ago
• techcentaur / Krivine-Machine
  Abstract krivine machine implementing call-by-name semantics. In OCaml.
  ☆45Updated 7 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• ptarau / iProlog
  Java-based lightweight Prolog virtual machine
  ☆34Updated last year