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