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
• alloy-js / sterling
  Alloy with browser-based visualizations
  ☆29Updated 4 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 4 years ago
• deech / ATS-Strange-Loop-Talk
  ☆47Updated 7 years ago
• CatarinaGamboa / liquidjava
  ☆42Updated 2 weeks ago
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• enso-lang / enso
  ☆71Updated 5 years ago
• jmid / pbt-frameworks
  An overview of property-based testing functionality
  ☆70Updated 2 months ago
• jkoppel / ecta
  ☆36Updated last year
• choral-lang / choral
  A compiler, testing bed, and standard library for the Choral programming language.
  ☆30Updated 4 months ago
• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆70Updated 9 months ago
• pascalh / Astview
  Astview is a graphical viewer for abstract syntax trees
  ☆25Updated 3 years ago
• prologbyexample / code
  ☆30Updated 2 years ago
• llaisdy / PrologInfo
  Prolog, Datalog, languages, resources, and beyond!
  ☆32Updated 9 months ago
• metaborg / spoofax
  Spoofax runtime
  ☆146Updated 3 months ago
• aleksandarmilicevic / hola
  Alloy*---Higher Order Logic for Alloy
  ☆36Updated 5 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆33Updated 9 months ago
• AlloyTools / models
  A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…
  ☆134Updated last month
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆29Updated 7 years ago
• haslab / Electrum2
  Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used …
  ☆47Updated 2 years ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 10 months ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆80Updated 9 months ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year
• cwi-swat / rebel
  ☆13Updated 5 years ago
• alf-tool / alf
  Relational Algebra at your fingertips
  ☆62Updated 10 years ago
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆11Updated 11 months ago
• andorp / DepPy
  Imagine a Dependently Typed Python
  ☆11Updated 4 months ago
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆29Updated this week
• coolya / mps.rocks
  A curated list of awesome MPS extensions/libraries, software and resources.
  ☆63Updated last month
• harp-lab / slog-lang1
  Slog 1.0
  ☆43Updated last year