Repositories list

• ee469

  Public
  Operating Systems Engineering.

  Pascal

  •

  MIT License

  •55 forks•22 stars•00 issues•00 pull requests•Updated Apr 21, 2026Apr 21, 2026

• ctf-package

  Public
  Python

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 19, 2026Apr 19, 2026

• nostdbuild

  Public
  Automatically compling Rust crate for Nostd.

  Rust

  •11 fork•00 stars•00 issues•00 pull requests•Updated Mar 30, 2026Mar 30, 2026

• linux-playground

  Public
  Linux kernel playground

  C

  •55 forks•55 stars•00 issues•00 pull requests•Updated Feb 26, 2026Feb 26, 2026

• c2saferrust

  Public
  Rust

  •1313 forks•00 stars•00 issues•00 pull requests•Updated Jan 28, 2026Jan 28, 2026

• LLVMPlayground

  Public
  LLVM Playground lab

  C++

  •77 forks•00 stars•00 issues•00 pull requests•Updated Dec 4, 2025Dec 4, 2025

• hss

  Public
  Feature-rich and easy-to-use Jekyll template for the websites of academic courses

  SCSS

  •

  MIT License

  •259259 forks•00 stars•00 issues•00 pull requests•Updated Dec 1, 2025Dec 1, 2025

• metadrive

  Public
  MetaDrive: Lightweight driving simulator for everyone

  Python

  •

  Apache License 2.0

  •182182 forks•00 stars•00 issues•00 pull requests•Updated Nov 18, 2025Nov 18, 2025

• rustc_plugin

  Public
  (Modified for Aunor) -- A framework for writing plugins that integrate with the Rust compiler

  Rust

  •

  MIT License

  •2929 forks•00 stars•00 issues•00 pull requests•Updated Sep 4, 2025Sep 4, 2025

• rustfix

  Public
  rustfix crate, vendored from cargo -- modified for Aunor

  Rust

  •00 forks•00 stars•00 issues•00 pull requests•Updated Aug 30, 2025Aug 30, 2025

• purs3lab.github.io

  Public
  Purdue Systems and Software Security Lab

  SCSS

  •1.3k1.3k forks•00 stars•00 issues•00 pull requests•Updated Jun 13, 2025Jun 13, 2025

• Binge-Cornucopia

  Public
  A Framework for Feedback Guided Generation of Binaries

  C++

  •

  MIT License

  •11 fork•00 stars•00 issues•00 pull requests•Updated Jun 2, 2025Jun 2, 2025

• binbench-llvm

  Public
  Modified LLVM for BinBench

  17k17k forks•00 stars•00 issues•00 pull requests•Updated May 21, 2025May 21, 2025

• cargo

  Public
  The Rust package manager

  Rust

  •

  Apache License 2.0

  •2.9k2.9k forks•00 stars•00 issues•00 pull requests•Updated May 15, 2025May 15, 2025

• carla

  Public
  Open-source simulator for autonomous driving research.

  C++

  •

  MIT License

  •4.5k4.5k forks•00 stars•00 issues•00 pull requests•Updated May 12, 2025May 12, 2025

• ISSTA-2025-EMBOSS-Artifact

  Public
  Artifact of "Finding 709 Defects in 258 Projects: An Experience Report on Applying CodeQL to Open-Source Embedded Software (Experience Paper)"

  Dockerfile

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 24, 2025Apr 24, 2025

• scanner-workflows

  Public
  Shell

  •11 fork•11 star•00 issues•00 pull requests•Updated Apr 10, 2025Apr 10, 2025

• ArduSVF

  Public
  Modified version of PurSecLab's SVF for ArduPilot risky component analysis

  C++

  •

  Other

  •00 forks•00 stars•00 issues•00 pull requests•Updated Feb 18, 2025Feb 18, 2025

• ee469_examples

  Public
  All examples related to ee469

  C

  •00 forks•22 stars•00 issues•00 pull requests•Updated Feb 17, 2025Feb 17, 2025

• simcrat

  Public
  Signature-Modernizing C-to-Rust Automatic Translator

  Rust

  •

  MIT License

  •66 forks•00 stars•00 issues•00 pull requests•Updated Jan 10, 2025Jan 10, 2025

• crown

  Public
  Ownership analysis that helps translating C to Rust

  Rust

  •88 forks•00 stars•00 issues•00 pull requests•Updated Jan 1, 2025Jan 1, 2025

• vanir

  Public
  Vanir is a source code-based static analysis tool that automatically identifies the list of missing security patches in the target system. By default, Vanir pul…

  Python

  •

  BSD 3-Clause "New" or "Revised" License

  •3232 forks•00 stars•00 issues•00 pull requests•Updated Dec 24, 2024Dec 24, 2024

• LLMs4GitHubWorkflows

  Public
  Python

  •

  BSD 2-Clause "Simplified" License

  •11 fork•44 stars•00 issues•00 pull requests•Updated Dec 2, 2024Dec 2, 2024

• Argus_website

  Public
  Website for our Usenix'23 paper - ARGUS: A Framework for Staged Static Taint Analysis of GitHub Workflows and Actions

  HTML

  •

  Apache License 2.0

  •00 forks•22 stars•00 issues•00 pull requests•Updated Nov 25, 2024Nov 25, 2024

• underTheHoodOfExecutables

  Public
  A comprehensive guide that explains how programs transform from source code to executables. Deep dive into ELF format, linking processes, and binary optimizatio…

  HTML

  •

  MIT License

  •3939 forks•00 stars•00 issues•00 pull requests•Updated Nov 7, 2024Nov 7, 2024

• ardupilot

  Public
  ArduPlane, ArduCopter, ArduRover, ArduSub source

  C++

  •

  GNU General Public License v3.0

  •21k21k forks•00 stars•00 issues•00 pull requests•Updated Oct 18, 2024Oct 18, 2024

• Argus

  Public
  Python

  •1515 forks•5353 stars•11 issue•00 pull requests•Updated Jul 11, 2024Jul 11, 2024

• scan2

  Public
  Rust

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 24, 2024Jun 24, 2024

• POSSE-secure-workflows

  Public
  Static analysis on GitHub Actions workflows of popular repositories

  Python

  •00 forks•11 star•00 issues•00 pull requests•Updated May 8, 2024May 8, 2024

• rustwide

  Public
  Execute your code on the Rust ecosystem.

  Rust

  •

  Apache License 2.0

  •4545 forks•00 stars•00 issues•00 pull requests•Updated Apr 14, 2024Apr 14, 2024