raymyers / verified-refactoringLinks
Exploring techniques for code refactoring with formal verification
☆11Updated last year
Alternatives and similar repositories for verified-refactoring
Users that are interested in verified-refactoring are comparing it to the libraries listed below
Sorting:
- The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …☆114Updated last week
- Alloy with browser-based visualizations☆30Updated 4 years ago
- Software Language Engineering Body of Knowledge☆49Updated 5 years ago
- Refinement type checker for Java with liquid types and typestates - catch bugs at compile time☆52Updated this week
- A compiler, testing bed, and standard library for the Choral programming language.☆38Updated last month
- ☆37Updated last year
- A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…☆138Updated 7 months ago
- Forge: A Tool and Language for Teaching Formal Methods☆94Updated this week
- purple: compiling a reflective language☆33Updated last year
- Spoofax runtime☆159Updated 8 months ago
- ☆71Updated 5 years ago
- Slog 1.0☆46Updated last year
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- Accompanying materials for "A Core Calculus for Documents"☆36Updated 2 years ago
- The fastest way to build a language☆41Updated 4 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆31Updated 8 years ago
- Collapsing Towers of Interpreters☆93Updated 7 months ago
- Proposed documentation for alloytools.org☆71Updated 4 months ago
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Updated last month
- The Brown Benchmark for Table Types (B2T2)☆65Updated 6 months ago
- Language based on Rewriting Logic☆157Updated last week
- An attempt to implement the typing rules of Featherweight Java using Haskell.☆11Updated 13 years ago
- An overview of property-based testing functionality☆80Updated 2 months ago
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆46Updated 3 years ago
- Domain Specific Languages for Computational Law☆78Updated 6 months ago
- Aeon programming language☆25Updated 2 weeks ago
- Prolog, Datalog, languages, resources, and beyond!☆33Updated last year
- This repository contains the Maude 2 interpreter source tree.☆43Updated 8 years ago
- The Boomerang Bidirectional Programming Language☆77Updated 2 years ago
- The Flix Programming Book☆21Updated this week