raymyers / verified-refactoringLinks
Exploring techniques for code refactoring with formal verification
☆10Updated 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 …☆115Updated this week
- Alloy with browser-based visualizations☆29Updated 4 years ago
- ☆37Updated last year
- ☆52Updated this week
- Prolog, Datalog, languages, resources, and beyond!☆33Updated last year
- Alloy*---Higher Order Logic for Alloy☆36Updated 5 years ago
- Forge: A Tool and Language for Teaching Formal Methods☆93Updated this week
- A tutorial about how to apply property-based testing to stateful systems.☆79Updated 2 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆16Updated 2 months ago
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆46Updated 3 years ago
- Slog 1.0☆45Updated last year
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆31Updated 8 years ago
- Astview is a graphical viewer for abstract syntax trees☆25Updated 3 years ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆82Updated 2 months ago
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- purple: compiling a reflective language☆33Updated last year
- ☆71Updated 5 years ago
- ☆45Updated 2 years ago
- Language based on Rewriting Logic☆151Updated last week
- Imagine a Dependently Typed Python☆11Updated 8 months ago
- ✂️ Syntax correction in context-free languages.☆23Updated 2 weeks ago
- An overview of property-based testing functionality☆75Updated 3 weeks ago
- Accompanying materials for "A Core Calculus for Documents"☆35Updated 2 years ago
- Class of data structures that can be unfolded.☆22Updated 2 years ago
- Re-implementation of a minimal interpreter for a subset of Haskell☆37Updated 2 months ago
- A compiler, testing bed, and standard library for the Choral programming language.☆35Updated last month
- Domain Specific Languages for Computational Law☆77Updated 5 months ago
- Implementing a small functional language with a combinator based graph-reduction machine☆39Updated 3 months ago
- A bare-bones blogging system, written in Prolog☆26Updated last year
- Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University☆74Updated 7 years ago