Alternatives and similar repositories for verified-refactoring:

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

• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• jmid / pbt-frameworks
  An overview of property-based testing functionality
  ☆58Updated 2 weeks ago
• cubix-framework / cubix
  The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …
  ☆113Updated 2 months ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆81Updated 3 years ago
• llaisdy / PrologInfo
  Prolog, Datalog, languages, resources, and beyond!
  ☆30Updated 3 months ago
• pascalpoizat / fbpmn
  formal tools for BPMN
  ☆35Updated 10 months ago
• alloy-js / sterling
  Alloy with browser-based visualizations
  ☆29Updated 3 years ago
• choral-lang / choral
  A compiler, testing bed, and standard library for the Choral programming language.
  ☆26Updated 2 months ago
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• enso-lang / enso
  ☆71Updated 4 years ago
• CatarinaGamboa / liquidjava
  ☆36Updated 2 weeks ago
• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆70Updated 3 months ago
• JetBrains / mps-coderules
  Type checking and logical inference for JetBrains MPS
  ☆32Updated 2 months ago
• cwi-swat / rebel
  ☆12Updated 5 years ago
• keyboardDrummer / Miksilo
  The fastest way to build a language
  ☆41Updated 3 years ago
• cfbolz / minitrace
  experiments in building tiny tracing JITs in various languages (Prolog to start)
  ☆10Updated 4 months ago
• jkoppel / ecta
  ☆34Updated 10 months ago
• namin / lms-black
  purple: compiling a reflective language
  ☆32Updated 4 months ago
• scopen / scopen
  Documents de base sur la CAE Scopen
  ☆11Updated 8 years ago
• javactrl / javactrl
  Resumable exceptions and delimited continuations for JVM
  ☆40Updated last month
• flix / book
  The Flix Programming Book
  ☆17Updated this week
• harp-lab / slog-lang1
  Slog 1.0
  ☆38Updated 8 months ago
• japgolly / tla2json
  Convert TLA+ output (and values) into JSON
  ☆26Updated 3 years ago
• hpi-swa / polyglot-live-programming
  Polyglot Live Programming with GraalVM, the Language Server Protocol (LSP), and VS Code.
  ☆37Updated 3 years ago
• JoeyEremondi / GDTL-artifact
  A Gradual Dependently-typed Language
  ☆14Updated 5 years ago
• logsem / aneris
  Program logic for developing and verifying distributed systems
  ☆33Updated this week
• SamirTalwar / smoke
  Runs tests against anything, using command-line arguments, STDIN, STDOUT and STDERR.
  ☆90Updated 4 months ago
• coolya / mps.rocks
  A curated list of awesome MPS extensions/libraries, software and resources.
  ☆61Updated last week
• mikesperber / icfp2020
  Material for ICFP 2020 tutorial on functional software architecture
  ☆17Updated 4 years ago
• aleksandarmilicevic / hola
  Alloy*---Higher Order Logic for Alloy
  ☆37Updated 5 years ago