Skip to content
Change the repository type filter

All

    Repositories list

    • idioms

      Public
      Python
      0000Updated Feb 6, 2025Feb 6, 2025
    • codealign

      Public
      A tool for finding instruction-level equivalence between two functions.
      Python
      0000Updated Jan 28, 2025Jan 28, 2025
    • BugZoo

      Public
      Keep your bugs contained. A platform for studying historical software bugs.
      Python
      MIT License
      1267452Updated Jan 8, 2025Jan 8, 2025
    • Java
      MIT License
      0000Updated Dec 11, 2024Dec 11, 2024
    • TBar

      Public
      Template-based Automated Program Repair
      Java
      MIT License
      23010Updated Dec 11, 2024Dec 11, 2024
    • Aidan's Proposal Document
      0000Updated Oct 31, 2024Oct 31, 2024
    • Java
      Other
      111823Updated Oct 3, 2024Oct 3, 2024
    • What are multiedit bugs?
      Java
      02142Updated Sep 10, 2024Sep 10, 2024
    • A benchmark of Python Library Migration
      Python
      MIT License
      3000Updated Sep 5, 2024Sep 5, 2024
    • MELT

      Public
      Python
      MIT License
      4700Updated Aug 23, 2024Aug 23, 2024
    • BatFix

      Public
      C++
      MIT License
      1500Updated Aug 22, 2024Aug 22, 2024
    • Shell
      MIT License
      0400Updated Aug 15, 2024Aug 15, 2024
    • Kaskara

      Public
      A simple API frontend for various static analysers (e.g., Clang)
      Python
      Apache License 2.0
      03162Updated Jul 14, 2024Jul 14, 2024
    • Language-independent, search-based program repair -- just your cup of tea! ☕
      Python
      Apache License 2.0
      1028684Updated Jul 9, 2024Jul 9, 2024
    • squaresLab webpage
      CSS
      GNU General Public License v2.0
      1290Updated May 30, 2024May 30, 2024
    • MFTCoder

      Public
      High Accuracy and efficiency multi-task fine-tuning framework for Code LLMs
      Python
      Other
      66000Updated May 24, 2024May 24, 2024
    • 1.2k000Updated May 14, 2024May 14, 2024
    • LLMAO

      Public
      Java
      62600Updated Jan 27, 2024Jan 27, 2024
    • MOBSTA

      Public
      MOBSTA: Mutation Based Safety Testing for Autonomy. Robustness testing for your ROS robots.
      Other
      03300Updated Oct 18, 2023Oct 18, 2023
    • piranha

      Public
      A tool for refactoring code related to feature flag APIs
      Java
      Apache License 2.0
      201100Updated Jul 31, 2023Jul 31, 2023
    • A code rewrite tool for structural search and replace that supports ~every language.
      OCaml
      Apache License 2.0
      64200Updated Apr 14, 2023Apr 14, 2023
    • A web scraper for ROS Answers
      Python
      Apache License 2.0
      2251Updated Apr 6, 2023Apr 6, 2023
    • VarCLR

      Public
      VarCLR: Variable Semantic Representation Pre-training via Contrastive Learning
      Python
      MIT License
      53820Updated Jan 4, 2023Jan 4, 2023
    • HTML
      MIT License
      00017Updated Dec 3, 2022Dec 3, 2022
    • initial test of inCoder
      Python
      0000Updated Sep 22, 2022Sep 22, 2022
    • physfix

      Public
      Automatically fixing unit inconsistencies detected by Phys
      Python
      Apache License 2.0
      0200Updated Aug 19, 2022Aug 19, 2022
    • LLVM supermutation
      C++
      Apache License 2.0
      0090Updated Aug 12, 2022Aug 12, 2022
    • phys

      Public
      C++
      2020Updated Aug 8, 2022Aug 8, 2022
    • ghcc

      Public
      GitHub Cloner & Compiler
      Python
      16000Updated Jun 15, 2022Jun 15, 2022
    • Python
      03165Updated Jun 13, 2022Jun 13, 2022