raymyers / verified-refactoringLinks
Exploring techniques for code refactoring with formal verification
☆10Updated 10 months ago
Alternatives and similar repositories for verified-refactoring
Users that are interested in verified-refactoring are comparing it to the libraries listed below
Sorting:
- Alloy with browser-based visualizations☆29Updated 4 years ago
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …☆115Updated 3 weeks ago
- Forge: A Tool and Language for Teaching Formal Methods☆89Updated 2 months ago
- purple: compiling a reflective language☆33Updated 11 months ago
- Software Language Engineering Body of Knowledge☆48Updated 5 years ago
- ☆36Updated last year
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆45Updated 3 years ago
- Prolog, Datalog, languages, resources, and beyond!☆32Updated 10 months ago
- ☆71Updated 5 years ago
- An overview of property-based testing functionality☆73Updated 3 months ago
- A compiler, testing bed, and standard library for the Choral programming language.☆31Updated last week
- ☆44Updated last month
- formal tools for BPMN☆34Updated 2 months ago
- ☆47Updated 7 years ago
- ☆45Updated 2 years ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆81Updated 11 months ago
- Slog 1.0☆43Updated last year
- Utilities for the TLA+ ecoystem and model-based testing using TLA+.☆28Updated 2 years ago
- An attempt to implement the typing rules of Featherweight Java using Haskell.☆11Updated 13 years ago
- The SMoL (Standard Model of Languages) Family of Languages☆19Updated 8 months ago
- The fastest way to build a language☆43Updated 3 years ago
- Resumable exceptions and delimited continuations for JVM☆44Updated 4 months ago
- A Gradual Dependently-typed Language☆14Updated 6 years ago
- Language based on Rewriting Logic☆133Updated last month
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.☆47Updated 7 months ago
- Imagine a Dependently Typed Python☆11Updated 5 months ago
- User Interfaces for Programming Languages: The Compendium☆28Updated 4 years ago
- Convert TLA+ output (and values) into JSON☆27Updated 4 years ago