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.
☆266Updated 8 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☆323Updated 3 weeks ago
- 👨💻Learning Path for Programmers https://roadmap.now.sh☆261Updated 2 years ago
- NCSC Guidance for secure development and deployment☆440Updated 7 years ago
- Random questions to ask during interviews.☆458Updated 5 years ago
- The ExpenseReport legacy code refactoring kata in >50 programming languages (Ada to Zig)☆149Updated 3 months ago
- TDD with Mock Objects: Design Principles and Emergent Properties (C#, JavaScript, Java, Python, Ruby)☆288Updated 2 years ago
- Kata to learn about Polymorphism☆124Updated last week
- List of evergreen skills, based on software development best practices & cross-framework principles, that should serve as a fair assessme…☆1,888Updated 2 years ago
- ☆11Updated 7 months ago
- 💡 A curated list of resources about (and beyond) software crafting☆60Updated 6 years ago
- A game for exploring the development practice of mob programming☆269Updated 6 months ago
- Set up a new machine as a development environment for your project☆33Updated 11 months ago
- pocketmod for coderetreats, single page that makes a small booklet, for participants or to give away to spread the word.☆34Updated 4 years ago
- Several code katas on a racing car theme☆307Updated 3 months ago
- Starting code for a Refactoring Code Kata on the Yatzy rules☆107Updated 3 weeks ago
- The Orione Team Learning Path☆342Updated 4 years ago
- A curated list of awesome resources and links about tackling legacy systems that gives hope.☆138Updated 3 weeks ago
- A notation for small commits messages that show the risk involved in each step☆20Updated 3 weeks ago
- A legacy refactor kata, focused on the violation of the tell don't ask principle and anemic domain model☆32Updated last year
- A collection of resources and links relating to sociotechnical architecture for software systems.☆177Updated last year
- A tool for collaboratively finding your core domains - strategic business differentiators☆558Updated 3 years ago
- A collection of resources for learning DDD. All are free to access.☆647Updated last year
- A Kata exercise. This one involves writing code to reserve seats on a train.☆113Updated 10 months ago
- A refactoring kata where you'll practice disentangling business logic from frameworks and SQL☆97Updated 3 months ago
- Resources to facilitate coding katas☆80Updated 8 months ago
- Advent of Craft 2023☆87Updated 3 months ago
- Refactoring Kata☆403Updated 6 months ago
- ☆49Updated last month
- Design & visualise the flow of commands, events, and queries between your bounded contexts☆372Updated last year
- Practice stuff from the book "Your code as a crime scene"☆53Updated 3 years ago