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 43 22

  2. popcorn-kernel popcorn-kernel Public

    Popcorn Linux kernel for distributed thread execution

    C 158 23

  3. hermitux hermitux Public

    A binary-compatible unikernel

    C 392 28

Repositories

Showing 10 of 70 repositories
  • FoxDec Public

    Formally verified x86-64 decompilation

    ssrg-vt/FoxDec’s past year of commit activity
    HTML 22 Apache-2.0 3 5 0 Updated Feb 7, 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 174 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
  • hermitux Public

    A binary-compatible unikernel

    ssrg-vt/hermitux’s past year of commit activity
    C 392 28 16 (2 issues need help) 0 Updated Aug 13, 2024
  • koka-ebpf-experiments Public

    Implementations of eBPF examples in Koka

    ssrg-vt/koka-ebpf-experiments’s past year of commit activity
    C 0 0 0 0 Updated Aug 5, 2024
  • SlimGuard Public

    A Secure and Memory-Efficient Heap Allocator

    ssrg-vt/SlimGuard’s past year of commit activity
    C++ 33 MIT 7 3 0 Updated Jun 21, 2024
  • TransProc Public

    Transform the CRIU image between different architectures for vanilla code.

    ssrg-vt/TransProc’s past year of commit activity
    C 6 MIT 2 1 0 Updated May 16, 2024
  • popcorn-compiler Public

    Popcorn Linux compiler toolchain for heterogeneous-ISA execution

    ssrg-vt/popcorn-compiler’s past year of commit activity
    C 43 22 9 1 Updated Apr 5, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…