raymyers / verified-refactoringView external linksLinks
Exploring techniques for code refactoring with formal verification
☆11Oct 27, 2024Updated 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:
- "Legacy code" version of the Guitar Shack implementation for folk to practice on☆12Apr 8, 2021Updated 4 years ago
- Tool for generating regression tests☆15Mar 24, 2023Updated 2 years ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆12May 13, 2025Updated 9 months ago
- Get going with 'test && commit || revert' in seconds☆13Mar 21, 2019Updated 6 years ago
- ☆11Sep 7, 2025Updated 5 months ago
- JUnit 5 extension for Kent Beck's test commit revert workflow.☆15Feb 6, 2026Updated last week
- For practicing refactoring, removing duplication, and making code more flexible☆19Oct 8, 2020Updated 5 years ago
- Stratified synthesis for learning machine code instruction semantics☆40Sep 24, 2025Updated 4 months ago
- A collection of refactoring recipes that are provably safe. They never accidentally introduce nor fix a bug, including one that you don't…☆273Apr 26, 2024Updated last year
- ChatGPT prompts for refactoring source code☆37Mar 29, 2023Updated 2 years ago
- A set of tools that make working with the Scala ecosystem even better.☆12Feb 6, 2026Updated last week
- texttest is an approval testing tool☆42Jan 27, 2026Updated 2 weeks ago
- ☆33Jan 12, 2020Updated 6 years ago
- Assembler framework for Common Lisp.☆40Mar 11, 2025Updated 11 months ago
- A UI for the Mob Programming RPG☆33Jun 21, 2025Updated 7 months ago
- Visual Novel Interpreter for iOS☆16Feb 15, 2012Updated 13 years ago
- My personal site.☆10Jan 20, 2026Updated 3 weeks ago
- bayesPop R package☆11Feb 6, 2026Updated last week
- R package for the United Nations World Population Prospects 2024☆18Jun 24, 2025Updated 7 months ago
- Language mixing functional programming and Ambient Calculus☆12Dec 10, 2024Updated last year
- RefakTS is a TypeScript refactoring tool built by AI coding agents for AI coding agents. It allows them to perform precise refactoring op…☆62Aug 17, 2025Updated 5 months ago
- Generate a 3D picture (Multi Picture Object) from two jpeg☆10Mar 16, 2024Updated last year
- CMake dependency tracking library☆13Jan 10, 2026Updated last month
- A C++ template library for polynomials algebra over discrete integral domains☆11May 9, 2025Updated 9 months ago
- Simple tool to extract error reports from DMARC files☆11Dec 25, 2023Updated 2 years ago
- Sources of the EuroProofNet web site.☆13Feb 2, 2026Updated last week
- Automates the build of pkgsrc binary packages in a sandbox☆15Mar 14, 2022Updated 3 years ago
- Linked Micromap Plots with D3☆36Feb 7, 2017Updated 9 years ago
- ☆10Jun 1, 2024Updated last year
- Hek Module for Redux☆10Jun 5, 2016Updated 9 years ago
- JUG Torino Website☆10Oct 12, 2025Updated 4 months ago
- Protocol for transparent collections of files.☆12Aug 13, 2025Updated 6 months ago
- Voevodsky's notes on type systems. This version contains more material than the one on his website.☆11Jun 15, 2014Updated 11 years ago
- A command-line parser for Standard ML☆21Dec 29, 2025Updated last month
- Responsive images made easy☆11Mar 31, 2016Updated 9 years ago
- Connecting vinyl records to the wider ecosystem through Generics☆12Feb 19, 2019Updated 6 years ago
- Limbo is a work-in-progress, in-process OLTP database management system, compatible with SQLite.☆17Feb 6, 2026Updated last week
- Just a blogging platform☆15Oct 20, 2015Updated 10 years ago
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year