digdeeproots / provable-refactoringsLinks
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.
β271Updated last year
Alternatives and similar repositories for provable-refactorings
Users that are interested in provable-refactorings are comparing it to the libraries listed below
Sorting:
- A notation for small commits messages that show the risk involved in each stepβ334Updated last month
- π¨βπ»Learning Path for Programmers https://roadmap.now.shβ266Updated 2 years ago
- NCSC Guidance for secure development and deploymentβ443Updated 7 years ago
- Random questions to ask during interviews.β472Updated 6 years ago
- List of evergreen skills, based on software development best practices & cross-framework principles, that should serve as a fair assessmeβ¦β2,021Updated 2 years ago
- The ExpenseReport legacy code refactoring kata in >50 programming languages (Ada to Zig)β154Updated 2 months ago
- Kata to learn about Polymorphismβ132Updated this week
- The largest UI testing best practices list (last update: March 2025)β1,705Updated last month
- This is a refactoring kata for improving your coding skillsβ115Updated last week
- Example from first chapter of 'Refactoring' by Martin Fowler, with tests and translationsβ226Updated 3 months ago
- Several code katas on a racing car themeβ313Updated 4 months ago
- A game for exploring the development practice of mob programmingβ277Updated last year
- β33Updated 5 years ago
- A refactoring kata where you'll practice disentangling business logic from frameworks and SQLβ105Updated 11 months ago
- Kata for a legacy code hands-on session. The objective is to write tests and refactor the given legacy code.β446Updated last year
- Advent of Craft 2023β90Updated 11 months ago
- Level 2 of the Expense Report Legacy Code Refactoring Kata. Someone added a new feature (HTML output) without refactoring a bit!β18Updated 3 years ago
- Starting code for a Refactoring Code Kata on the Yatzy rulesβ112Updated 3 months ago
- The Orione Team Learning Pathβ345Updated 4 years ago
- exercise for practicing refactoringβ22Updated last year
- β50Updated 6 months ago
- A curated list of awesome resources and links about tackling legacy systems that gives hope.β152Updated 3 weeks ago
- Set up a new machine as a development environment for your projectβ33Updated 5 months ago
- A timer for the "baby steps" exercise/technique for doing TDDβ61Updated last year
- π‘ A curated list of resources about (and beyond) software craftingβ62Updated 6 years ago
- Empty projects for different languages with a failing testβ528Updated 6 months ago
- Legacy Code Retreat - Grenoble 2011β61Updated last year
- A toolset for code analysis and report visualisationβ400Updated 2 years ago
- π How to design and execute engineering strategies for tech leadership.β1,219Updated last month
- TDD with Mock Objects: Design Principles and Emergent Properties (C#, JavaScript, Java, Python, Ruby)β294Updated 2 months ago