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.
β273Updated 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β338Updated 3 months ago
- π¨βπ»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,026Updated 2 years ago
- The ExpenseReport legacy code refactoring kata in >50 programming languages (Ada to Zig)β155Updated 3 months ago
- Several code katas on a racing car themeβ313Updated 5 months ago
- The largest UI testing best practices list (last update: March 2025)β1,713Updated last month
- The Orione Team Learning Pathβ345Updated 5 years ago
- Kata to learn about Polymorphismβ131Updated 2 weeks ago
- Starting code for a Refactoring Code Kata on the Yatzy rulesβ113Updated this week
- A game for exploring the development practice of mob programmingβ276Updated last year
- Kata for a legacy code hands-on session. The objective is to write tests and refactor the given legacy code.β450Updated last year
- Set up a new machine as a development environment for your projectβ32Updated 7 months ago
- Legacy Code Retreat - Trivia Game codebaseβ529Updated 3 months ago
- Empty projects for different languages with a failing testβ534Updated 7 months ago
- Advent of Craft 2023β90Updated last year
- A curated list of legacy systems with publicly available source codeβ232Updated 6 months ago
- This is a refactoring kata for improving your coding skillsβ117Updated 3 weeks ago
- TDD with Mock Objects: Design Principles and Emergent Properties (C#, JavaScript, Java, Python, Ruby)β294Updated 4 months ago
- A curated list of awesome resources and links about tackling legacy systems that gives hope.β157Updated 2 months ago
- A refactoring kata where you'll practice disentangling business logic from frameworks and SQLβ105Updated last year
- π How to design and execute engineering strategies for tech leadership.β1,245Updated 3 weeks ago
- Identifying & fighting your teamβs systemic issues creating your legacyβ74Updated 9 years ago
- Example from first chapter of 'Refactoring' by Martin Fowler, with tests and translationsβ230Updated last month
- A curated list of awesome software craftsmanship resourcesβ742Updated 2 years ago
- exercise for practicing refactoringβ22Updated last year
- A kata about testing bugs in legacy code without 3 weeks of feature freeze. Leveraging on the Mikado Method and the Test Data Builder patβ¦β36Updated last year
- AGILE TECHICAL PRACTICES mentoring programβ21Updated last month
- Repository hosting the Software Craft And Testing Unconference UK website.β62Updated last month