Skip to content
Change the repository type filter

All

    Repositories list

    • Scripts and data for Clingo performance study
      Jupyter Notebook
      0105Updated Sep 13, 2023Sep 13, 2023
    • Assembly
      00110Updated Apr 12, 2023Apr 12, 2023
    • Run results for the splice experiment
      Jupyter Notebook
      Other
      1110Updated Nov 22, 2022Nov 22, 2022
    • Notes and references for the BUILDSI project
      TeX
      Other
      0000Updated Oct 12, 2022Oct 12, 2022
    • Desperate for a place to run things.
      Python
      0100Updated Sep 14, 2022Sep 14, 2022
    • Prolog
      00200Updated Sep 14, 2022Sep 14, 2022
    • spliced

      Public
      Library for splicing and predicting splice results.
      Python
      Other
      2000Updated Sep 12, 2022Sep 12, 2022
    • Testing a very bad idea!
      0000Updated Sep 8, 2022Sep 8, 2022
    • Automated container build for libabigail (ubuntu base).
      Dockerfile
      0000Updated Sep 8, 2022Sep 8, 2022
    • working on some ML stuffs with Harshitha! 🤓️
      Python
      Other
      2000Updated Aug 28, 2022Aug 28, 2022
    • Smeagle Python - generate facts from ELF with debug
      Python
      Other
      0100Updated Aug 24, 2022Aug 24, 2022
    • Implementation of smeagle in Python
      Python
      Other
      0001Updated Aug 24, 2022Aug 24, 2022
    • Fedora libraries with debug, a la GitHub packages + ORAS
      0000Updated Aug 23, 2022Aug 23, 2022
    • A flexible package manager that supports multiple versions, configurations, platforms, and compilers.
      Python
      Other
      2.3k000Updated Aug 19, 2022Aug 19, 2022
    • Preparing for the splice experiment (notes are currently here)
      Python
      0100Updated Aug 11, 2022Aug 11, 2022
    • Repository for collecting result artifacts (under development)
      Python
      0100Updated Aug 8, 2022Aug 8, 2022
    • A separate repository just for smeagle facts (they are huge) for debugging, etc.
      Classic ASP
      0000Updated Aug 1, 2022Aug 1, 2022
    • libc-diff

      Public
      Looking at different libcs with Greg!
      0000Updated Jul 30, 2022Jul 30, 2022
    • Quick, easy (container-based) way to use the abi compliance checker against two library versions
      Shell
      0000Updated Jul 25, 2022Jul 25, 2022
    • Smeagle

      Public
      Smeagle parses the precious.
      C++
      Other
      2303Updated May 28, 2022May 28, 2022
    • Measuring Package Drift Within the Spack Repository
      Go
      0000Updated May 26, 2022May 26, 2022
    • Ensure changes to your code don't break ABI (via a GitHub action!)
      Shell
      0410Updated Apr 6, 2022Apr 6, 2022
    • Messing around with things (e.g., basename to paths)
      Python
      Other
      0000Updated Mar 25, 2022Mar 25, 2022
    • An example of an ABI layout bug
      Makefile
      0000Updated Mar 16, 2022Mar 16, 2022
    • helicase

      Public
      Helicase is a Library for Unravelling and Parsing Git Histories
      Python
      0000Updated Feb 14, 2022Feb 14, 2022
    • Messing around with clustering error/warnings from spack monitor servers
      Python
      Other
      1000Updated Feb 10, 2022Feb 10, 2022
    • Artifact results from the spack splice repository!
      0010Updated Jan 31, 2022Jan 31, 2022
    • Attempting setup to perform splices to generate actual output and predictions with libabgail/symbolator
      Python
      0010Updated Dec 15, 2021Dec 15, 2021
    • @vsoch is playing with compiler flags because she wants to :)
      Assembly
      0000Updated Dec 2, 2021Dec 2, 2021
    • Analysis runners and base containers for populating spack monitor (under development)
      Python
      0020Updated Nov 19, 2021Nov 19, 2021