Skip to content
@ssrg-vt

Systems Software Research Group @ Virginia Tech

Pinned Loading

  1. popcorn-compiler popcorn-compiler Public

    Popcorn Linux compiler toolchain for heterogeneous-ISA execution

    C 49 24

  2. popcorn-kernel popcorn-kernel Public

    Popcorn Linux kernel for distributed thread execution

    C 168 24

  3. hermitux hermitux Public

    A binary-compatible unikernel

    C 398 29

Repositories

Showing 10 of 75 repositories
  • BeePL_compcert Public
    ssrg-vt/BeePL_compcert’s past year of commit activity
    Rocq Prover 2 0 0 1 Updated Jan 15, 2026
  • FoxDec Public

    Formally verified x86-64 decompilation

    ssrg-vt/FoxDec’s past year of commit activity
    HTML 44 Apache-2.0 2 4 0 Updated Dec 17, 2025
  • rumprun-servers Public
    ssrg-vt/rumprun-servers’s past year of commit activity
    C 0 0 0 0 Updated Nov 21, 2025
  • driver_translation Public

    Exploring linux device driver translation from C to Rust

    ssrg-vt/driver_translation’s past year of commit activity
    C 1 0 0 0 Updated Jul 17, 2025
  • FoxDeL Public Forked from kargogit/NASM2LLVMPy

    Assembly to LLVM IR lifter for x86-64 ELF Executables

    ssrg-vt/FoxDeL’s past year of commit activity
    ANTLR 0 Apache-2.0 1 0 0 Updated Jul 7, 2025
  • koka-ebpf-experiments Public

    Implementations of eBPF examples in Koka

    ssrg-vt/koka-ebpf-experiments’s past year of commit activity
    C 1 0 0 0 Updated May 2, 2025
  • hapstone Public Forked from ibabushkin/hapstone

    Capstone bindings for Haskell: https://github.com/aquynh/capstone

    ssrg-vt/hapstone’s past year of commit activity
    Haskell 0 BSD-3-Clause 6 0 0 Updated Nov 15, 2024
  • borrowing_calculus_coq Public
    ssrg-vt/borrowing_calculus_coq’s past year of commit activity
    Coq 0 0 0 0 Updated Nov 6, 2024
  • koka Public Forked from koka-lang/koka

    Koka language compiler and interpreter

    ssrg-vt/koka’s past year of commit activity
    Haskell 0 200 0 0 Updated Oct 27, 2024
  • koka_coq Public
    ssrg-vt/koka_coq’s past year of commit activity
    TeX 0 0 0 0 Updated Oct 15, 2024
View all repositories