Skip to content
@cmu-sei

Software Engineering Institute

At the SEI, we research software engineering, cybersecurity, and AI engineering problems; create innovative technologies; and put solutions into practice.

Popular repositories Loading

  1. pharos pharos Public

    Automated static analysis tools for binary programs

    C++ 1.6k 199

  2. GHOSTS GHOSTS Public

    GHOSTS is a realistic user simulation framework for cyber experimentation, simulation, training, and exercise

    C# 595 76

  3. SCALe SCALe Public

    SCALe (Source Code Analysis Lab) is a static analysis aggregator/correlator which enables a source code analyst to combine static analysis results from multiple tools into one interface, and also p…

    C 286 60

  4. SCADASim SCADASim Public

    The SCADA Simulator is a configurable system that presents itself as a SCADA system within an exercise environment. It has a web-accessible user interface and generates modbus traffic on the network.

    Python 140 20

  5. gbtl gbtl Public

    GraphBLAS Template Library (GBTL): C++ graph algorithms and primitives using semiring algebra as defined at graphblas.org

    C++ 135 22

  6. kaiju kaiju Public

    CERT Kaiju is a binary analysis framework extension for the Ghidra software reverse engineering suite. This repository is a "mirror" -- please file tickets, bug reports, or pull requests at the ups…

    Java 130 35

Repositories

Showing 10 of 157 repositories
  • FASR Public
    Java 1 0 0 1 Updated Aug 4, 2025
  • moodle-block_crucible Public

    block_crucible is a plugin that provides a Moodle user with links to access other applications integrated via OAUTH based on the user’s permissions.

    PHP 1 0 0 0 Updated Aug 4, 2025
  • moodle-mod_topomojo Public

    mod_topomojo is an activity plugin that allows TopoMojo labs and exercises to be accessed from Moodle. The plugin will pull and display the markdown and challenge questions inside of the Moodle activity.

    PHP 1 0 0 1 Updated Aug 4, 2025
  • moodle-qtype_mojomatch Public

    qtype_mojomatch is a question type plugin that allows Moodle to access, store and grade challenge questions created on TopoMojo labs.

    PHP 0 0 0 1 Updated Aug 4, 2025
  • Polar Public

    Polar is a secure and scalable knowledge graph framework, designed to address the challenges posed by building big data systems in highly regulated environments, and improve observability for DevSecOps Organizations.

    Rust 20 3 19 (8 issues need help) 0 Updated Aug 4, 2025
  • moodle-qbehaviour_mojomatch Public

    qbehaviour_mojomatch is a question behavior plugin that allows Moodle questions to pull dynamic challenge question answers from TopoMojo labs during a live lab attempt.

    PHP 0 0 0 0 Updated Aug 2, 2025
  • vessel Public

    Vessel is a project with the goal of promoting reproducible container builds. The first version of the Vessel tool compares two built container images and reports on differences between them, flagging as many known issues as possible.

    Python 5 0 0 0 Updated Aug 1, 2025
  • rangerai Public
    0 0 0 0 Updated Jul 31, 2025
  • sbom-plugfest-2024 Public

    The repository for SBOMs which can be shared from the 2024 SBOM Plugfest organized by the SEI on behalf of CISA.

    Jupyter Notebook 4 1 0 0 Updated Jul 31, 2025
  • TopoMojo Public

    A simple virtual lab builder/player

    C# 32 4 21 2 Updated Jul 30, 2025
View all repositories