raymyers / verified-refactoring
Exploring techniques for code refactoring with formal verification
☆10Updated 5 months ago
Alternatives and similar repositories for verified-refactoring:
Users that are interested in verified-refactoring are comparing it to the libraries listed below
- An overview of property-based testing functionality☆58Updated last month
- Alloy with browser-based visualizations☆29Updated 3 years ago
- A script for running TLA+/TLC from the command line☆81Updated 3 years ago
- Prolog, Datalog, languages, resources, and beyond!☆30Updated 5 months ago
- The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …☆114Updated 4 months ago
- ☆71Updated 4 years ago
- Accompanying materials for "A Core Calculus for Documents"☆31Updated last year
- purple: compiling a reflective language☆32Updated 5 months ago
- Resumable exceptions and delimited continuations for JVM☆40Updated 2 weeks ago
- The fastest way to build a language☆42Updated 3 years ago
- A compiler, testing bed, and standard library for the Choral programming language.☆26Updated this week
- Polyglot Live Programming with GraalVM, the Language Server Protocol (LSP), and VS Code.☆37Updated 4 years ago
- Type checking and logical inference for JetBrains MPS☆32Updated 4 months ago
- Awesome datalog libraries, tools and resources☆60Updated 5 years ago
- Mystery Languages☆38Updated last year
- Software Language Engineering Body of Knowledge☆48Updated 5 years ago
- Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…☆16Updated 5 years ago
- ☆37Updated last month
- ☆12Updated 5 years ago
- ☆47Updated 7 years ago
- Salon des Refusés - Dialectics for new computer science☆11Updated 6 years ago
- The Flix Programming Book☆17Updated 2 weeks ago
- Execute and document benchmarks reproducibly.☆90Updated last month
- Spoofax runtime☆140Updated 2 months ago
- Relational Algebra at your fingertips☆62Updated 10 years ago
- Convert TLA+ output (and values) into JSON☆26Updated 4 years ago
- Proposed documentation for alloytools.org☆71Updated 4 months ago
- Datalog that's as easy as ABC.☆58Updated 4 months ago
- TLA+ Foundation☆31Updated 2 weeks ago
- User Interfaces for Programming Languages: The Compendium☆27Updated 4 years ago