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 197

  2. GHOSTS GHOSTS Public

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

    C# 579 75

  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 287 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 138 19

  5. gbtl gbtl Public

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

    C++ 134 21

  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 34

Repositories

Showing 10 of 155 repositories
  • 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 2 20 (7 issues need help) 0 Updated Jul 10, 2025
  • 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 upstream home in @CERTCC: https://github.com/certcc/kaiju

    Java 130 34 0 1 Updated Jul 9, 2025
  • Blueprint.Ui Public
    TypeScript 2 0 0 1 Updated Jul 9, 2025
  • Blueprint.Api Public
    C# 1 1 0 0 Updated Jul 9, 2025
  • pharos Public

    Automated static analysis tools for binary programs

    C++ 1,614 197 47 (2 issues need help) 4 Updated Jul 9, 2025
  • Alloy.Api Public

    Alloy joins the other independent Crucible apps together to provide a complete Crucible experience (i.e. labs, on-demand exercises, exercises, etc.). The Alloy API project is a restful API for Alloy functionality in the Crucible ecosystem.

    C# 1 0 0 1 Updated Jul 9, 2025
  • Player.Ui Public

    Player is the centralized interface where users, teams, and administrators go to configure and participate in the cyber exercise.

    TypeScript 3 1 0 23 Updated Jul 9, 2025
  • Player.Api Public

    Player is the centralized interface where users, teams, and administrators go to configure and participate in the cyber exercise.

    C# 2 1 0 2 Updated Jul 9, 2025
  • gameboard-ui Public
    TypeScript 1 3 0 0 Updated Jul 9, 2025
  • Alloy.Ui Public

    Alloy joins the other independent Crucible apps together to provide a complete Crucible experience (i.e. labs, on-demand exercises, exercises, etc.). Alloy UI is an Angular project that provides the front-end for Alloy in the Crucible ecosystem.

    TypeScript 1 1 0 27 Updated Jul 9, 2025