Skip to content
@ssrg-vt

Systems Software Research Group @ Virginia Tech

Pinned Loading

  1. popcorn-compiler Public

    Popcorn Linux compiler toolchain for heterogeneous-ISA execution

    C 43 22

  2. popcorn-kernel Public

    Popcorn Linux kernel for distributed thread execution

    C 160 23

  3. hermitux Public

    A binary-compatible unikernel

    C 394 28

Repositories

Showing 10 of 72 repositories
  • FoxDec Public

    Formally verified x86-64 decompilation

    HTML 23 Apache-2.0 2 4 0 Updated Apr 24, 2025
  • BeePL_compcert Public
    Coq 0 0 0 1 Updated Apr 24, 2025
  • koka-ebpf-experiments Public

    Implementations of eBPF examples in Koka

    C 0 0 0 0 Updated Apr 10, 2025
  • hapstone Public Forked from ibabushkin/hapstone

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

    Haskell 0 BSD-3-Clause 6 0 0 Updated Nov 15, 2024
  • borrowing_calculus_coq Public
    Coq 0 0 0 0 Updated Nov 6, 2024
  • koka Public Forked from koka-lang/koka

    Koka language compiler and interpreter

    Haskell 0 183 0 0 Updated Oct 27, 2024
  • koka_coq Public
    TeX 0 0 0 0 Updated Oct 15, 2024
  • hermitux Public

    A binary-compatible unikernel

    C 394 28 16 (2 issues need help) 0 Updated Aug 13, 2024
  • SlimGuard Public

    A Secure and Memory-Efficient Heap Allocator

    C++ 33 MIT 7 3 0 Updated Jun 21, 2024
  • compcert_stack_aware Public
    Coq 0 0 0 0 Updated Jun 14, 2024
View all repositories