Alternatives and similar repositories for verified-refactoring

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

• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 4 years ago
• enso-lang / enso
  ☆71Updated 4 years ago
• alloy-js / sterling
  Alloy with browser-based visualizations
  ☆29Updated 3 years ago
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• tlaplus / foundation
  TLA+ Foundation
  ☆29Updated this week
• pascalpoizat / fbpmn
  formal tools for BPMN
  ☆35Updated last year
• cwi-swat / rebel
  ☆13Updated 5 years ago
• hpi-swa / polyglot-live-programming
  Polyglot Live Programming with GraalVM, the Language Server Protocol (LSP), and VS Code.
  ☆37Updated 4 years ago
• 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
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆44Updated 2 weeks ago
• namin / lms-black
  purple: compiling a reflective language
  ☆32Updated 6 months ago
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆10Updated 8 months ago
• choral-lang / choral
  A compiler, testing bed, and standard library for the Choral programming language.
  ☆28Updated last month
• prologbyexample / code
  ☆29Updated 2 years ago
• pschanely / contractual-semver
  Contractual Semver
  ☆26Updated 3 years ago
• JoeyEremondi / GDTL-artifact
  A Gradual Dependently-typed Language
  ☆14Updated 5 years ago
• shriram / xkcd-3062
  XKCD 3062
  ☆22Updated 2 months ago
• deech / ATS-Strange-Loop-Talk
  ☆47Updated 7 years ago
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆27Updated 4 years ago
• smarr / ReBench
  Execute and document benchmarks reproducibly.
  ☆91Updated 3 months ago
• amyjko / whyline
  The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.
  ☆78Updated 9 years ago
• informalsystems / modelator-py
  Utilities for the TLA+ ecoystem and model-based testing using TLA+.
  ☆28Updated 2 years ago
• jmid / pbt-frameworks
  An overview of property-based testing functionality
  ☆65Updated 3 weeks ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆69Updated 2 months ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆29Updated 7 years ago
• javactrl / javactrl
  Resumable exceptions and delimited continuations for JVM
  ☆42Updated last week
• cfbolz / minitrace
  experiments in building tiny tracing JITs in various languages (Prolog to start)
  ☆11Updated 7 months ago
• flix / book
  The Flix Programming Book
  ☆17Updated 3 weeks ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year
• urweb / upo
  The Ur/Web People Organizer
  ☆30Updated last year