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,…☆13Updated this week
- Get going with 'test && commit || revert' in seconds☆13Mar 21, 2019Updated 6 years ago
- ☆11Feb 27, 2026Updated last week
- JUnit 5 extension for Kent Beck's test commit revert workflow.☆15Updated this week
- For practicing refactoring, removing duplication, and making code more flexible☆19Feb 20, 2026Updated 2 weeks ago
- Stratified synthesis for learning machine code instruction semantics☆40Sep 24, 2025Updated 5 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…☆274Apr 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.☆12Updated this week
- texttest is an approval testing tool☆42Feb 25, 2026Updated last week
- ☆32Jan 12, 2020Updated 6 years ago
- bayesPop R package☆11Feb 23, 2026Updated last week
- A UI for the Mob Programming RPG☆33Jun 21, 2025Updated 8 months ago
- R package for the United Nations World Population Prospects 2024☆18Jun 24, 2025Updated 8 months ago
- My personal site.☆10Feb 23, 2026Updated last week
- Assembler framework for Common Lisp.☆41Mar 11, 2025Updated 11 months ago
- Visual Novel Interpreter for iOS☆16Feb 15, 2012Updated 14 years ago
- 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 6 months ago
- Sources of the EuroProofNet web site.☆13Updated this week
- Language mixing functional programming and Ambient Calculus☆12Dec 10, 2024Updated last year
- Simple tool to extract error reports from DMARC files☆11Dec 25, 2023Updated 2 years ago
- A C++ template library for polynomials algebra over discrete integral domains☆11May 9, 2025Updated 9 months ago
- Generate a 3D picture (Multi Picture Object) from two jpeg☆10Mar 16, 2024Updated last year
- CMake dependency tracking library☆13Feb 22, 2026Updated last week
- The premier AI-assisted legacy code strategy guide☆12May 26, 2024Updated last year
- Javascript Sunrise/Set calculator☆17Sep 7, 2012Updated 13 years ago
- Haskell Enforcer of user specified code standards☆22Feb 10, 2026Updated 3 weeks ago
- Automates the build of pkgsrc binary packages in a sandbox☆15Mar 14, 2022Updated 3 years ago
- Slide deck on running NetBSD on the SEGA Dreamcast☆11Apr 18, 2016Updated 9 years ago
- On Android, Injects all views inflated from XML automatically. No boiler plate at all.☆17Oct 12, 2014Updated 11 years ago
- Official GitHub repository of the lecture "Multimodal Deep Learning for Recommendation", at the 2024 ACM RecSys Summer School☆12Oct 12, 2024Updated last year
- Demo of an In-database processing tool for scikit-learn☆13Oct 18, 2022Updated 3 years ago
- Magic Wormhole for Haskell☆11Apr 23, 2024Updated last year
- A portable and extensible Common Lisp LOOP implementation☆20Feb 26, 2026Updated last week
- Responsive images made easy☆11Mar 31, 2016Updated 9 years ago
- ☆12Nov 14, 2017Updated 8 years ago
- Numerical Optimisation Library☆17Jul 9, 2023Updated 2 years ago