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.
β267Updated 11 months ago
Alternatives and similar repositories for provable-refactorings:
Users that are interested in provable-refactorings are comparing it to the libraries listed below
- A notation for small commits messages that show the risk involved in each stepβ324Updated 3 months ago
- π¨βπ»Learning Path for Programmers https://roadmap.now.shβ265Updated 2 years ago
- Random questions to ask during interviews.β467Updated 6 years ago
- NCSC Guidance for secure development and deploymentβ444Updated 7 years ago
- The ExpenseReport legacy code refactoring kata in >50 programming languages (Ada to Zig)β150Updated 5 months ago
- The Orione Team Learning Pathβ343Updated 4 years ago
- The largest UI testing best practices list (last update: March 2023)β1,688Updated last year
- List of evergreen skills, based on software development best practices & cross-framework principles, that should serve as a fair assessmeβ¦β1,936Updated 2 years ago
- A curated list of awesome resources and links about tackling legacy systems that gives hope.β140Updated 3 months ago
- Several code katas on a racing car themeβ309Updated 5 months ago
- A timer for the "baby steps" exercise/technique for doing TDDβ59Updated last year
- A notation for small commits messages that show the risk involved in each stepβ20Updated 3 months ago
- A game for exploring the development practice of mob programmingβ273Updated 8 months ago
- Resources to facilitate coding katasβ81Updated 10 months ago
- β33Updated 5 years ago
- Legacy Code Retreat - Trivia Game codebaseβ516Updated 3 weeks ago
- β49Updated last week
- A Kata exercise. This one involves writing code to reserve seats on a train.β114Updated last year
- Empty projects for different languages with a failing testβ522Updated last week
- Kata to learn about Polymorphismβ124Updated last month
- pocketmod for coderetreats, single page that makes a small booklet, for participants or to give away to spread the word.β34Updated 4 years ago
- A legacy refactor kata, focused on the violation of the tell don't ask principle and anemic domain modelβ32Updated last year
- Starting code for a Refactoring Code Kata on the Yatzy rulesβ109Updated last month
- The Independent Service Heuristics (ISH) are rules-of-thumb (clues) for identifying candidate value streams and domain boundaries by seeiβ¦β345Updated last year
- Printout excerises to learn refactoringβ12Updated 2 years ago
- Coding exercise to experience the impact of composition and other techniques on objects relationshipsβ15Updated 7 years ago
- Resources for tech leadsβ176Updated 11 months ago
- A refactoring kata where you'll practice disentangling business logic from frameworks and SQLβ99Updated 5 months ago
- β64Updated 13 years ago
- Set up a new machine as a development environment for your projectβ33Updated last year