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 …
  ☆114Updated 2 weeks ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆81Updated 4 years ago
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆49Updated 5 years ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆46Updated last year
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆94Updated last week
• choral-lang / choral
  A compiler, testing bed, and standard library for the Choral programming language.
  ☆38Updated last month
• AlloyTools / models
  A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…
  ☆138Updated 7 months ago
• alloy-js / sterling
  Alloy with browser-based visualizations
  ☆30Updated 4 years ago
• liquid-java / liquidjava
  Refinement type checker for Java with liquid types and typestates - catch bugs at compile time
  ☆52Updated this week
• llaisdy / PrologInfo
  Prolog, Datalog, languages, resources, and beyond!
  ☆33Updated last year
• prologbyexample / code
  ☆31Updated 2 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆33Updated last year
• jmid / pbt-frameworks
  An overview of property-based testing functionality
  ☆80Updated 2 months ago
• flix / book
  The Flix Programming Book
  ☆21Updated this week
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆36Updated 2 years ago
• jkoppel / ecta
  ☆37Updated last year
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆157Updated last week
• ElliotSwart / pragmaticformalmodeling
  An instructional website with progressively worked examples of TLA+ specifications and model checking.
  ☆46Updated 3 years ago
• jariazavalverde / fasill
  Fuzzy Aggregators and Similarity Into a Logic Language
  ☆26Updated last year
• aleksandarmilicevic / hola
  Alloy*---Higher Order Logic for Alloy
  ☆36Updated 6 years ago
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆16Updated 4 months ago
• enso-lang / enso
  ☆71Updated 5 years ago
• amyjko / whyline
  The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.
  ☆80Updated 9 years ago
• shriram / mystery-languages
  Mystery Languages
  ☆41Updated 2 years ago
• andorp / DepPy
  Imagine a Dependently Typed Python
  ☆10Updated 9 months ago
• pascalpoizat / fbpmn
  formal tools for BPMN
  ☆36Updated 6 months ago
• shriram / smol
  The SMoL (Standard Model of Languages) Family of Languages
  ☆21Updated last year
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆67Updated 5 months ago
• inrick / Featherweight-Java
  An attempt to implement the typing rules of Featherweight Java using Haskell.
  ☆11Updated 13 years ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆67Updated 6 months ago