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
      2100Updated 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.4k000Updated 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
      2403Updated May 28, 2022May 28, 2022
    • Measuring Package Drift Within the Spack Repository
      Go
      0100Updated 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
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.