Alternatives and similar repositories for meta-environment

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

• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆29Updated last month
• rewriting / tom
  ☆34Updated 4 years ago
• isabelle-prover / mirror-isabelle
  Git mirror of https://isabelle.in.tum.de/repos/isabelle
  ☆72Updated this week
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated 2 months ago
• metaborg / spoofax
  Spoofax runtime
  ☆146Updated 3 months ago
• manuel-serrano / hiphop
  Reactive Web Programming
  ☆28Updated last month
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆105Updated last year
• eprover / eprover
  ☆149Updated this week
• acsl-language / acsl
  Sources for the ANSI/ISO C Specification Language manual
  ☆58Updated last month
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated last year
• uwplse / synapse
  Optimizing Synthesis with Metasketches, POPL 2016
  ☆23Updated 8 years ago
• cesaro / cunf
  A model checker for safe Petri nets based on partial-order semantics
  ☆13Updated 4 years ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆29Updated last year
• awto / chr2sql
  CHR2 to SQL conversion
  ☆14Updated 9 years ago
• spechub / Hets
  The Heterogeneous Tool Set
  ☆58Updated 6 months ago
• pythological / unification
  Straightforward unification in Python that's extensible via generic functions.
  ☆49Updated 11 months ago
• koka-lang / libmprompt
  Robust multi-prompt delimited control and effect handlers in C/C++
  ☆123Updated last year
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• cwi-swat / aterms
  The ATerm library is an extremely efficient library for maximally shared terms with a fast serialized format and a garbage collector (in …
  ☆24Updated 12 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• acharal / hopes
  Higher Order Prolog with Extensional Semantics
  ☆53Updated 5 years ago
• kragen / peg-bootstrap
  A PEG that compiles itself.
  ☆76Updated 14 years ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆134Updated 2 months ago
• boomerang-lang / boomerang
  The Boomerang Bidirectional Programming Language
  ☆77Updated 2 years ago
• softdevteam / eco
  Editor for language composition
  ☆57Updated 2 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆69Updated 2 years ago
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆30Updated 10 months ago
• harp-lab / gdlog
  ☆83Updated 9 months ago
• slebok / zoo
  Grammar Zoo
  ☆92Updated 6 years ago