Skip to content
@PLSysSec

UCSD PLSysSec

Popular repositories Loading

  1. haybale haybale Public

    Symbolic execution of LLVM IR with an engine written in Rust

    Rust 582 30

  2. rlbox rlbox Public

    RLBox sandboxing framework

    C++ 317 24

  3. sys sys Public

    Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code

    LLVM 236 42

  4. FaCT FaCT Public

    Flexible and Constant Time Programming Language

    OCaml 204 15

  5. veriwasm veriwasm Public

    SFI verifier of Wasm binaries

    Rust 83 6

  6. lio lio Public

    Labeled IO Library

    Haskell 60 22

Repositories

Showing 10 of 204 repositories
  • sdk-nrf Public Forked from nrfconnect/sdk-nrf

    Fork of nRF Connect SDK main repository

    PLSysSec/sdk-nrf’s past year of commit activity
    C 0 1,502 0 0 Updated Mar 11, 2026
  • cse291p-winter26 Public
    PLSysSec/cse291p-winter26’s past year of commit activity
    0 0 0 0 Updated Mar 11, 2026
  • tock Public Forked from tock/tock

    A secure embedded operating system for microcontrollers

    PLSysSec/tock’s past year of commit activity
    Rust 3 825 0 2 Updated Feb 18, 2026
  • cargo-scan Public

    A tool for auditing Rust crates

    PLSysSec/cargo-scan’s past year of commit activity
    Rust 34 MIT 5 18 (1 issue needs help) 0 Updated Feb 10, 2026
  • rlbox Public

    RLBox sandboxing framework

    PLSysSec/rlbox’s past year of commit activity
    C++ 317 MIT 24 25 0 Updated Dec 15, 2025
  • cse291y-fall25 Public
    PLSysSec/cse291y-fall25’s past year of commit activity
    Makefile 0 0 0 0 Updated Dec 2, 2025
  • tock-veri-asm Public

    Reasoning about inline assembly in the Tock OS

    PLSysSec/tock-veri-asm’s past year of commit activity
    Rust 0 2 1 0 Updated Oct 15, 2025
  • rlbox-book Public
    PLSysSec/rlbox-book’s past year of commit activity
    C++ 5 MIT 3 0 0 Updated Sep 27, 2025
  • rlbox_wasm2c_sandbox Public
    PLSysSec/rlbox_wasm2c_sandbox’s past year of commit activity
    C 19 MIT 15 0 0 Updated Sep 8, 2025
  • rlbox_nacl_sandbox Public

    RLBox integration to leverage Native Client (NaCl) sandboxes

    PLSysSec/rlbox_nacl_sandbox’s past year of commit activity
    C++ 2 MIT 0 0 0 Updated Jun 19, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…