Repositories list

• rlbox-book

  Public
  C++

  •

  MIT License

  •33 forks•55 stars•00 issues•00 pull requests•Updated Oct 2, 2026Oct 2, 2026

• cse291y-fall26

  Public
  Makefile

  •00 forks•00 stars•00 issues•00 pull requests•Updated Sep 29, 2026Sep 29, 2026

• icarus-firefox

  Public
  🦊 Trustworthy CacheIR in Firefox

  Other

  •00 forks•00 stars•00 issues•22 pull requests•Updated Sep 16, 2026Sep 16, 2026

• wabt

  Public
  The WebAssembly Binary Toolkit

  C++

  •

  Apache License 2.0

  •830830 forks•00 stars•00 issues•00 pull requests•Updated Aug 5, 2026Aug 5, 2026

• tock

  Public
  A secure embedded operating system for microcontrollers

  Rust

  •

  Other

  •858858 forks•55 stars•00 issues•22 pull requests•Updated Jul 30, 2026Jul 30, 2026

• cargo-scan

  Public
  A tool for auditing Rust crates

  Rust

  •

  MIT License

  •77 forks•4747 stars•1818 issues•00 pull requests•Updated Jul 25, 2026Jul 25, 2026

• rlbox_wasm2c_sandbox

  Public
  C++

  •

  MIT License

  •1616 forks•1919 stars•00 issues•00 pull requests•Updated Jul 5, 2026Jul 5, 2026

• rlbox

  Public
  RLBox sandboxing framework

  webassemblysandboxing

  webassemblysandboxing

  C++

  •

  MIT License

  •2525 forks•320320 stars•2525 issues•00 pull requests•Updated Jul 5, 2026Jul 5, 2026

• sdk-nrf

  Public
  Fork of nRF Connect SDK main repository

  C

  •

  Other

  •1.6k1.6k forks•00 stars•00 issues•00 pull requests•Updated Apr 2, 2026Apr 2, 2026

• cse291p-winter26

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Mar 11, 2026Mar 11, 2026

• cse291y-fall25

  Public
  Makefile

  •00 forks•00 stars•00 issues•00 pull requests•Updated Dec 2, 2025Dec 2, 2025

• tock-veri-asm

  Public
  Reasoning about inline assembly in the Tock OS

  Rust

  •22 forks•11 star•11 issue•00 pull requests•Updated Oct 15, 2025Oct 15, 2025

• rlbox_nacl_sandbox

  Public
  RLBox integration to leverage Native Client (NaCl) sandboxes

  C++

  •

  MIT License

  •00 forks•22 stars•00 issues•00 pull requests•Updated Jun 19, 2025Jun 19, 2025

• cse190-spring2025

  Public
  Makefile

  •00 forks•11 star•00 issues•00 pull requests•Updated Jun 4, 2025Jun 4, 2025

• cse227-spring25

  Public
  Makefile

  •00 forks•00 stars•00 issues•00 pull requests•Updated May 22, 2025May 22, 2025

• hw_isol_gem5

  Public
  C++

  •

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

  •00 forks•22 stars•00 issues•00 pull requests•Updated Apr 25, 2025Apr 25, 2025

• hfi-nginx

  Public
  C

  •

  Other

  •77 forks•00 stars•00 issues•00 pull requests•Updated Mar 12, 2025Mar 12, 2025

• go-preempt

  Public
  The Go programming language

  Go

  •

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

  •21k21k forks•00 stars•00 issues•00 pull requests•Updated Feb 26, 2025Feb 26, 2025

• icarus

  Public
  🏅 A domain-specific language for trustworthy JIT implementation

  Rust

  •11 fork•99 stars•11 issue•11 pull request•Updated Feb 11, 2025Feb 11, 2025

• cse291k-fall24

  Public
  Rusty systems class

  Makefile

  •00 forks•55 stars•00 issues•00 pull requests•Updated Dec 1, 2024Dec 1, 2024

• robust-crypto-supercop

  Public
  C

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 5, 2024Nov 5, 2024

• colorguard_benchmarks

  Public
  benchmarks for colorguard / segue paper

  Shell

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

• hfi-riscv-std

  Public
  hfi riscv standard work

  00 forks•00 stars•00 issues•00 pull requests•Updated Sep 4, 2024Sep 4, 2024

• cse291j-spring24

  Public
  Blockchain Security

  Makefile

  •00 forks•33 stars•00 issues•00 pull requests•Updated Jun 4, 2024Jun 4, 2024

• DPDK-GEM5

  Public
  Modifications to GEM5 for running kernel bypass networking. (DPDK)

  C

  •44 forks•11 star•00 issues•00 pull requests•Updated Apr 6, 2024Apr 6, 2024

• wasmtime-colorguard

  Public
  A fast and secure runtime for WebAssembly

  Rust

  •

  Apache License 2.0

  •1.8k1.8k forks•11 star•00 issues•00 pull requests•Updated Feb 8, 2024Feb 8, 2024

• hfi-root

  Public
  C

  •

  MIT License

  •22 forks•77 stars•11 issue•00 pull requests•Updated Jan 22, 2024Jan 22, 2024

• hfi_misc

  Public
  C

  •11 fork•00 stars•00 issues•00 pull requests•Updated Jan 22, 2024Jan 22, 2024

• simd-decoding

  Public
  Collection of scripts necessary for comparative analysis of sandboxed decoding with SIMD128

  Shell

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 29, 2023Nov 29, 2023

• go-epoch-tweak

  Public
  The Go programming language

  Go

  •

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

  •21k21k forks•00 stars•00 issues•00 pull requests•Updated Nov 21, 2023Nov 21, 2023