Alternatives and similar repositories for provable-refactorings

Users that are interested in provable-refactorings are comparing it to the libraries listed below

• RefactoringCombos / ArlosCommitNotation
  A notation for small commits messages that show the risk involved in each step
  ☆340Updated 4 months ago
• ukncsc / secure-development-and-deployment
  NCSC Guidance for secure development and deployment
  ☆443Updated 8 years ago
• PJijin / Show-Path
  👨‍💻Learning Path for Programmers https://roadmap.now.sh
  ☆265Updated 2 years ago
• odino / interviews
  Random questions to ask during interviews.
  ☆471Updated 6 years ago
• christianhujer / expensereport
  The ExpenseReport legacy code refactoring kata in >50 programming languages (Ada to Zig)
  ☆155Updated 5 months ago
• emilybache / Racing-Car-Katas
  Several code katas on a racing car theme
  ☆314Updated 7 months ago
• emilybache / Parrot-Refactoring-Kata
  Kata to learn about Polymorphism
  ☆132Updated last month
• romenrg / evergreen-skills-developers
  List of evergreen skills, based on software development best practices & cross-framework principles, that should serve as a fair assessme…
  ☆2,027Updated 3 years ago
• claranet-it / starway-to-orione
  The Orione Team Learning Path
  ☆342Updated 5 years ago
• swkBerlin / kata-bootstraps
  Empty projects for different languages with a failing test
  ☆539Updated 9 months ago
• emilybache / Yatzy-Refactoring-Kata
  Starting code for a Refactoring Code Kata on the Yatzy rules
  ☆114Updated 2 weeks ago
• emilybache / SupermarketReceipt-Refactoring-Kata
  This is a refactoring kata for improving your coding skills
  ☆119Updated 2 months ago
• martinsson / Refactoring-Kata-Lift-Pass-Pricing
  A refactoring kata where you'll practice disentangling business logic from frameworks and SQL
  ☆105Updated last year
• jbrains / trivia
  Legacy Code Retreat - Trivia Game codebase
  ☆531Updated last week
• NoriSte / ui-testing-best-practices
  The largest UI testing best practices list (last update: March 2025)
  ☆1,725Updated 3 months ago
• willemlarsen / mobprogrammingrpg
  A game for exploring the development practice of mob programming
  ☆279Updated last year
• JayBazuzi / machine-setup
  Set up a new machine as a development environment for your project
  ☆32Updated 9 months ago
• feststelltaste / awesome-legacy-systems
  A curated list of awesome resources and links about tackling legacy systems that gives hope.
  ☆162Updated 2 weeks ago
• sandromancuso / trip-service-kata
  Kata for a legacy code hands-on session. The objective is to write tests and refactor the given legacy code.
  ☆454Updated last year
• softwarecrafters / kata-log
  Resources to facilitate coding katas
  ☆83Updated last year
• advent-of-craft / 2023
  Advent of Craft 2023
  ☆93Updated last year
• emilybache / Theatrical-Players-Refactoring-Kata
  Example from first chapter of 'Refactoring' by Martin Fowler, with tests and translations
  ☆232Updated 2 months ago
• grzesiek-galezowski / tdd-ebook
  Test-Driven Development - Extensive Tutorial. Open Source ebook
  ☆368Updated last year
• caradojo / trivia
  Legacy Code Retreat - Grenoble 2011
  ☆61Updated last year
• martinsson / BugsZero-Kata
  Practice Designing code for less bugs
  ☆89Updated last year
• lucaminudel / TDDwithMockObjectsAndDesignPrinciples
  TDD with Mock Objects: Design Principles and Emergent Properties (C#, JavaScript, Java, Python, Ruby)
  ☆294Updated 5 months ago
• fmbenhassine / awesome-software-craftsmanship
  A curated list of awesome software craftsmanship resources
  ☆746Updated 2 years ago
• murex / mikado-testbuilders-kata
  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
• legacycoderocks / awesome-legacy-code
  A curated list of legacy systems with publicly available source code
  ☆235Updated 7 months ago
• emilybache / Tennis-Refactoring-Kata
  This is a Refactoring Kata based on the rules of Tennis
  ☆795Updated 3 months ago