raymyers / verified-refactoring
Exploring techniques for code refactoring with formal verification
☆11Updated 2 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for verified-refactoring
- Alloy with browser-based visualizations☆27Updated 3 years ago
- The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …☆114Updated 3 weeks ago
- ☆71Updated 4 years ago
- Software Language Engineering Body of Knowledge☆46Updated 4 years ago
- Proposed documentation for alloytools.org☆69Updated 8 months ago
- A compiler, testing bed, and standard library for the Choral programming language.☆25Updated last week
- Alloy*---Higher Order Logic for Alloy☆37Updated 4 years ago
- A script for running TLA+/TLC from the command line☆80Updated 3 years ago
- A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…☆125Updated 9 months ago
- Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used …☆49Updated last year
- Polyglot Live Programming with GraalVM, the Language Server Protocol (LSP), and VS Code.☆38Updated 3 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆27Updated 7 years ago
- ☆21Updated last year
- formal tools for BPMN☆34Updated 6 months ago
- ☆19Updated 11 months ago
- Interactive, web-based environment for exploring and visualizing TLA+ specifications.☆72Updated this week
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆38Updated 4 months ago
- Resumable exceptions and delimited continuations for JVM☆39Updated 2 months ago
- Spoofax runtime☆129Updated 3 months ago
- ☆27Updated last year
- ☆33Updated 6 months ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆59Updated 7 years ago
- Convert TLA+ output (and values) into JSON☆24Updated 3 years ago
- A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.☆47Updated 2 months ago
- SOMns: A Newspeak for Concurrency Research☆67Updated last year
- The ATerm library is an extremely efficient library for maximally shared terms with a fast serialized format and a garbage collector (in …☆23Updated 11 years ago
- Maude Formal Environment☆17Updated 4 years ago
- ☆46Updated 7 years ago
- Contractual Semver☆25Updated 2 years ago
- This package contains a lightweight deductive database system in OCaml☆40Updated 2 years ago