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 4 years ago
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆29Updated this week
• inrick / Featherweight-Java
  An attempt to implement the typing rules of Featherweight Java using Haskell.
  ☆11Updated 13 years ago
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆105Updated last year
• isabelle-prover / mirror-isabelle
  Git mirror of https://isabelle.in.tum.de/repos/isabelle
  ☆72Updated this week
• awto / chr2sql
  CHR2 to SQL conversion
  ☆14Updated 10 years ago
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆29Updated 6 years ago
• softdevteam / eco
  Editor for language composition
  ☆58Updated 2 years ago
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆52Updated 2 months ago
• metaborg / spoofax
  Spoofax runtime
  ☆147Updated 4 months ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated last year
• cs-au-dk / MONA
  MONA - a decision procedure for monadic second-order logic on finite strings and trees
  ☆51Updated 5 years ago
• melt-umn / silver
  An attribute grammar-based programming language for composable language extensions
  ☆64Updated 2 weeks ago
• manuel-serrano / hiphop
  Reactive Web Programming
  ☆29Updated this week
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆29Updated last year
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated this week
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆122Updated 8 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆33Updated 10 months ago
• anmavrid / DesignBIP
  ☆11Updated 7 years ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆14Updated last year
• spechub / Hets
  The Heterogeneous Tool Set
  ☆58Updated 7 months ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated 2 months ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆78Updated 2 years ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆30Updated 7 years ago
• boomerang-lang / boomerang
  The Boomerang Bidirectional Programming Language
  ☆76Updated 2 years ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆91Updated 2 months ago
• zachgk / catln
  A high-level programming language
  ☆39Updated 7 months ago