Skip to content
Change the repository type filter

All

    Repositories list

    • tf-models

      Public
      Models and examples built with TensorFlow
      Python
      45k4193Updated Jan 4, 2026Jan 4, 2026
    • Jupyter Notebook
      0000Updated Dec 23, 2025Dec 23, 2025
    • Failures is a rich database of software failures scraped from news articles.
      Python
      0101Updated Dec 22, 2025Dec 22, 2025
    • This is the artifact for the USENIX'26 paper "Why Johnny Adopts Identity-Based Software Signing: A Usability Case Study of Sigstore" by Kalu et al.
      0000Updated Dec 19, 2025Dec 19, 2025
    • Teaching

      Public
      Prof Davis's teaching materials
      Python
      0000Updated Nov 20, 2025Nov 20, 2025
    • This repository contains the supplementary materials (artifacts) for the ICSE '26 paper "Do Unit Proofs Work? An Empirical Study of Compositional Bounded Model Checking for Memory Safety Verification"
      C
      0000Updated Sep 10, 2025Sep 10, 2025
    • Artifact for "SoK: A Literature and Engineering Review of Regular Expression Denial of Service (ReDoS)" paper in ASIA CCS'25
      Python
      0010Updated Aug 25, 2025Aug 25, 2025
    • Python
      2200Updated Aug 20, 2025Aug 20, 2025
    • Tools and standards for conducting and evaluating research in software engineering
      JavaScript
      73001Updated Jun 11, 2025Jun 11, 2025
    • Jupyter Notebook
      1300Updated Apr 18, 2025Apr 18, 2025
    • This is the artifact of our paper "PeaTMOSS: A Dataset and Initial Analysis of Pre-Trained Models in Open-Source Software"
      Jupyter Notebook
      2910Updated Jan 15, 2025Jan 15, 2025
    • Python
      02010Updated Nov 21, 2024Nov 21, 2024
    • This repository holds the scripts to collect perfomance metrics from different IoT hardware while running Machine learning Models
      Python
      0000Updated Nov 3, 2024Nov 3, 2024
    • Checks to make sure the specified run commands for Part 1 are runnable and output the correct info
      Python
      2300Updated Sep 24, 2024Sep 24, 2024
    • Jupyter Notebook
      0000Updated Sep 2, 2024Sep 2, 2024
    • Jupyter Notebook
      0000Updated Aug 23, 2024Aug 23, 2024
    • dk.brics.automaton - finite-state automata and regular expressions for Java
      Java
      90000Updated Aug 15, 2024Aug 15, 2024
    • Jupyter Notebook
      1604Updated May 9, 2024May 9, 2024
    • Tools for verifying signatures on Hugging Face, Docker Hub, Maven Central, and PyPI.
      Python
      0100Updated Apr 30, 2024Apr 30, 2024
    • Code to generate the PTMTorrent dataset
      Python
      11000Updated Dec 22, 2023Dec 22, 2023
    • Python
      1300Updated Nov 18, 2023Nov 18, 2023
    • A repository that holds demos on interactions with the PeaTMOSS Dataset. Suitable for mining software repositories/MSR research on how machine learning and pre-trained models are integrated into (open-source) software engineering.
      Python
      41301Updated Oct 7, 2023Oct 7, 2023
    • Backend services monorepo for regextools.io
      C++
      1100Updated May 7, 2023May 7, 2023
    • Artifact for ICSE'23 paper: "An Empirical Study of Pre-Trained Model Reuse in the Hugging Face Deep Learning Model Registry"
      Jupyter Notebook
      1500Updated Apr 20, 2023Apr 20, 2023
    • mcl

      Public
      MCL, the Markov Cluster algorithm, also known as Markov Clustering, is a method and program for clustering weighted or simple networks, a.k.a. graphs.
      C
      14000Updated Mar 21, 2023Mar 21, 2023
    • Frontend component of regextools.io
      TypeScript
      0000Updated Mar 1, 2023Mar 1, 2023
    • egret

      Public
      Evil generation of regular expression test string
      C++
      10000Updated Dec 5, 2022Dec 5, 2022
    • Model Reconstruction Team for TensorFlow 2.x Model Garden
      Python
      142523Updated Nov 20, 2022Nov 20, 2022
    • re2

      Public
      RE2 is a fast, safe, thread-friendly alternative to backtracking regular expression engines like those used in PCRE, Perl, and Python. It is a C++ library.
      C++
      1.2k000Updated Nov 15, 2022Nov 15, 2022
    • Artifact for SCORED'22 paper: "An Empirical Study of Artifacts and Security Risks in the Pre-trained Model Supply Chain"
      Python
      0000Updated Oct 28, 2022Oct 28, 2022