digdeeproots / provable-refactorings
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.
☆265Updated 6 months ago
Related projects ⓘ
Alternatives and complementary repositories for provable-refactorings
- A notation for small commits messages that show the risk involved in each step☆321Updated 4 months ago
- 👨💻Learning Path for Programmers https://roadmap.now.sh☆260Updated last year
- Random questions to ask during interviews.☆457Updated 5 years ago
- NCSC Guidance for secure development and deployment☆440Updated 6 years ago
- The ExpenseReport legacy code refactoring kata in >50 programming languages (Ada to Zig)☆145Updated last month
- List of evergreen skills, based on software development best practices & cross-framework principles, that should serve as a fair assessme…☆1,871Updated last year
- A notation for small commits messages that show the risk involved in each step☆20Updated 9 months ago
- A refactoring kata where you'll practice disentangling business logic from frameworks and SQL☆97Updated last month
- The largest UI testing best practices list (last update: March 2023)☆1,673Updated 9 months ago
- Kata to learn about Polymorphism☆120Updated 3 weeks ago
- The Orione Team Learning Path☆342Updated 4 years ago
- A Kata exercise. This one involves writing code to reserve seats on a train.☆112Updated 8 months ago
- Advent of Craft 2023☆81Updated last month
- A curated list of legacy systems with publicly available source code☆215Updated 10 months ago
- A curated list of awesome resources and links about tackling legacy systems that gives hope.☆129Updated this week
- ☆49Updated 2 months ago
- A demonstration of James Shore's "Testing Without Mocks" pattern language.☆39Updated last year
- A timer for the "baby steps" exercise/technique for doing TDD☆58Updated last year
- Several code katas on a racing car theme☆302Updated 3 weeks ago
- Example from first chapter of 'Refactoring' by Martin Fowler, with tests and translations☆198Updated last month
- Set up a new machine as a development environment for your project☆33Updated 9 months ago
- Legacy Code Retreat - Trivia Game codebase☆515Updated 2 months ago
- Identifying & fighting your team’s systemic issues creating your legacy☆71Updated 8 years ago
- Exploring techniques for code refactoring with formal verification☆11Updated 2 weeks ago
- A game for exploring the development practice of mob programming☆266Updated 3 months ago
- ☆11Updated 5 months ago
- Resources to facilitate coding katas☆78Updated 5 months ago
- exercise for practicing refactoring☆23Updated 5 months ago
- Starting code for a Refactoring Code Kata on the Yatzy rules☆106Updated 2 months ago
- TDD with Mock Objects: Design Principles and Emergent Properties (C#, JavaScript, Java, Python, Ruby)☆287Updated 2 years ago