Skip to content
Change the repository type filter

All

    Repositories list

    • idioms

      Public
      Python
      42001Updated Jan 30, 2026Jan 30, 2026
    • squaresLab webpage
      CSS
      1290Updated Sep 22, 2025Sep 22, 2025
    • codealign

      Public
      A tool for finding instruction-level equivalence between two functions.
      Python
      41100Updated Aug 26, 2025Aug 26, 2025
    • A repository for reproducing the experiments used to evaluate Codealign (https://github.com/squaresLab/codealign)
      C++
      0000Updated Aug 26, 2025Aug 26, 2025
    • Interpretable Vulnerability Detection Reports
      C
      0100Updated Jul 26, 2025Jul 26, 2025
    • AIxCC: automated vulnerability repair via LLMs, search, and static analysis
      Python
      5000Updated May 29, 2025May 29, 2025
    • Replication package for the 2025 DIMVA paper "Quantifying and Mitigating the Impact of Obfuscations on Machine-Learning-Based Decompilation Improvement"
      Python
      1000Updated Apr 28, 2025Apr 28, 2025
    • Python
      0000Updated Apr 1, 2025Apr 1, 2025
    • BugZoo

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

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

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

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

      Public
      A simple API frontend for various static analysers (e.g., Clang)
      Python
      03162Updated Jul 14, 2024Jul 14, 2024
    • Language-independent, search-based program repair -- just your cup of tea! ☕
      Python
      1129694Updated Jul 9, 2024Jul 9, 2024
    • MFTCoder

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

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

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

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

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