Alternatives and similar repositories for verified-refactoring

Users that are interested in verified-refactoring are comparing it to the libraries listed below

• cubix-framework / cubix
  The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …
  ☆115Updated last week
• llaisdy / PrologInfo
  Prolog, Datalog, languages, resources, and beyond!
  ☆33Updated last year
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• ElliotSwart / pragmaticformalmodeling
  An instructional website with progressively worked examples of TLA+ specifications and model checking.
  ☆46Updated 3 years ago
• metaborg / spoofax
  Spoofax runtime
  ☆149Updated 6 months ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆81Updated 4 years ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆91Updated this week
• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆71Updated last month
• AlloyTools / models
  A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…
  ☆136Updated 4 months ago
• jmid / pbt-frameworks
  An overview of property-based testing functionality
  ☆74Updated 4 months ago
• namin / lms-black
  purple: compiling a reflective language
  ☆33Updated last year
• CatarinaGamboa / liquidjava
  ☆45Updated this week
• harp-lab / slog-lang1
  Slog 1.0
  ☆45Updated last year
• inrick / Featherweight-Java
  An attempt to implement the typing rules of Featherweight Java using Haskell.
  ☆11Updated 13 years ago
• enso-lang / enso
  ☆71Updated 5 years ago
• pascalpoizat / fbpmn
  formal tools for BPMN
  ☆34Updated 4 months ago
• alloy-js / sterling
  Alloy with browser-based visualizations
  ☆29Updated 4 years ago
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆47Updated this week
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆30Updated 8 years ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆91Updated 4 months ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆70Updated 8 months ago
• jkoppel / ecta
  ☆37Updated last year
• coolya / mps.rocks
  A curated list of awesome MPS extensions/libraries, software and resources.
  ☆65Updated last week
• cwi-swat / rebel
  ☆13Updated 5 years ago
• aleksandarmilicevic / hola
  Alloy*---Higher Order Logic for Alloy
  ☆36Updated 5 years ago
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆64Updated 2 months ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆81Updated last month
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆35Updated 2 years ago
• choral-lang / choral
  A compiler, testing bed, and standard library for the Choral programming language.
  ☆32Updated last week
• PLTools / OCanren
  Statically typed embedding of miniKanren relational programming language into OCaml
  ☆119Updated 3 weeks ago