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.
☆270Updated last year
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☆333Updated this week
- NCSC Guidance for secure development and deployment☆445Updated 7 years ago
- 👨💻Learning Path for Programmers https://roadmap.now.sh☆265Updated 2 years ago
- Random questions to ask during interviews.☆468Updated 6 years ago
- The ExpenseReport legacy code refactoring kata in >50 programming languages (Ada to Zig)☆151Updated 7 months ago
- The largest UI testing best practices list (last update: March 2023)☆1,693Updated last year
- List of evergreen skills, based on software development best practices & cross-framework principles, that should serve as a fair assessme…☆1,983Updated 2 years ago
- A curated list of awesome resources and links about tackling legacy systems that gives hope.☆142Updated last week
- A refactoring kata where you'll practice disentangling business logic from frameworks and SQL☆99Updated 7 months ago
- A notation for small commits messages that show the risk involved in each step☆21Updated 4 months ago
- Mutation testing resources: how to make better code by introducing bugs☆421Updated 10 months ago
- Kata to learn about Polymorphism☆126Updated 3 weeks ago
- A template for a team cognitive load assessment. Based on some of the ideas in the book _Team Topologies_ by Matthew Skelton [@matthewske…☆394Updated 4 years ago
- A toolset for code analysis and report visualisation☆398Updated 2 years ago
- A demonstration of James Shore's "Testing Without Mocks" pattern language.☆41Updated 2 years ago
- Practice Designing code for less bugs☆87Updated 9 months ago
- Starting code for a Refactoring Code Kata on the Yatzy rules☆112Updated last month
- A legacy refactor kata, focused on the violation of the tell don't ask principle and anemic domain model☆32Updated last year
- The Orione Team Learning Path☆345Updated 4 years ago
- A timer for the "baby steps" exercise/technique for doing TDD☆59Updated last year
- Notes on software systems engineering.☆129Updated this week
- ☆45Updated 5 years ago
- This is a refactoring kata for improving your coding skills☆111Updated 3 months ago
- A tool for collaboratively finding your core domains - strategic business differentiators☆574Updated 3 years ago
- A Kata exercise. This one involves writing code to reserve seats on a train.☆114Updated last year
- ☆33Updated 5 years ago
- ☆11Updated 11 months ago
- A collection of resources and links relating to sociotechnical architecture for software systems.☆181Updated 2 years ago
- Legacy Code Retreat - Trivia Game codebase☆518Updated 2 weeks ago
- Printout excerises to learn refactoring☆12Updated 2 years ago