A collection of refactoring recipes that are provably safe. They never accidentally introduce nor fix a bug, including one that you don't know exists. They maintain all behavior, including unknown or unspecified behavior. To accomplish this, each recipe is concrete and language-specific.
☆274Apr 26, 2024Updated 2 years ago
Alternatives and similar repositories for provable-refactorings
Users that are interested in provable-refactorings are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A notation for small commits messages that show the risk involved in each step☆341Aug 6, 2025Updated 11 months ago
- Exploring techniques for code refactoring with formal verification☆11Oct 27, 2024Updated last year
- A notation for small commits messages that show the risk involved in each step☆21Dec 19, 2024Updated last year
- Programming style, best practices, and coding conventions.☆10,982May 28, 2026Updated last month
- The ExpenseReport legacy code refactoring kata in >50 programming languages (Ada to Zig)☆157Jun 24, 2026Updated last month
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- The Orione Team Learning Path☆341Oct 28, 2020Updated 5 years ago
- Code from Michael Feathers presentation about "Tell, Don't Ask" at Craft 2019☆18Aug 14, 2019Updated 6 years ago
- F# refactoring tools for vscode☆14Dec 30, 2022Updated 3 years ago
- An exercise on refactoring☆17Nov 29, 2022Updated 3 years ago
- IntelliJ plugin for fast git handover and timer with mob☆34Dec 23, 2024Updated last year
- 🧠 Laws, Theories, Principles and Patterns for developers and technologists.☆27,232May 19, 2026Updated 2 months ago
- Simple tool to extract error reports from DMARC files☆11Dec 25, 2023Updated 2 years ago
- Questions to ask the company during your interview☆28,572Feb 19, 2025Updated last year
- Legacy Code Retreat - Grenoble 2011☆61May 17, 2024Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Examples of how empathy is used to develop software.☆11Aug 15, 2023Updated 2 years ago
- Set up a new machine as a development environment for your project☆32Mar 27, 2025Updated last year
- 💡 A curated list of resources about (and beyond) software crafting☆61Jan 4, 2019Updated 7 years ago
- Fortune-telling for racehorses☆16Jun 29, 2022Updated 4 years ago
- "Legacy code" version of the Guitar Shack implementation for folk to practice on☆12Apr 8, 2021Updated 5 years ago
- Tool for generating regression tests☆16Mar 24, 2023Updated 3 years ago
- ChatGPT prompts for refactoring source code☆37Mar 29, 2023Updated 3 years ago
- Pointers to useful, well-written, and otherwise beautiful documentation.☆9,513Mar 3, 2026Updated 4 months ago
- TCR (test && commit || revert) scripts designed for Xcode☆14Oct 26, 2025Updated 8 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Maven Release Plugin: The Final Nail in the Coffin article companion repository☆22Nov 3, 2014Updated 11 years ago
- Examples of Church encodings in C#☆16Nov 24, 2025Updated 8 months ago
- Empty projects for different languages with a failing test☆548Mar 10, 2026Updated 4 months ago
- A full data (ETL) pipeline: S3, AWS Glue and Snowflake.☆12Jan 20, 2024Updated 2 years ago
- Manually curated collection of resources for frontend web developers.☆47,247May 21, 2024Updated 2 years ago
- ApprovalTest verification library for Java☆386Updated this week
- Katas we use in the Java version of our Code Smells & Refactoring training☆15Nov 22, 2024Updated last year
- Console Application demo of the SQL Stream Store using InMemoryStreamStore☆14Dec 8, 2022Updated 3 years ago
- Java source files for SC2016 Refactoring Golf☆11Apr 12, 2016Updated 10 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Interactive tutorials for introducing new people to the world of Software Analytics with Jupyter, Python, pandas and Co.☆16Mar 12, 2026Updated 4 months ago
- Introductory workshop about☆21Apr 15, 2026Updated 3 months ago
- This is an example of code obsessed with primitives.☆53May 22, 2024Updated 2 years ago
- Awesome online talks and screencasts☆6,193Jun 25, 2026Updated last month
- For practicing refactoring, removing duplication, and making code more flexible☆19Feb 20, 2026Updated 5 months ago
- Code examples from later chapters of Growing Object-Oriented Software, Guided by Tests☆75Jan 10, 2016Updated 10 years ago
- FreeBSD service daemon for KBFS, the Keybase filesystem☆13Jul 22, 2021Updated 5 years ago