-
cerberus Public
Forked from rems-project/cerberusCerberus C semantics
OCaml Other UpdatedDec 11, 2025 -
cn Public
Forked from rems-project/cnCN separation logic refinement type system for C
OCaml Other UpdatedDec 8, 2025 -
landmarks Public
Forked from LexiFi/landmarksA Simple Profiling Library for OCaml
OCaml MIT License UpdatedJun 12, 2025 -
-
pkvm-tester Public
Forked from rems-project/pkvm-testerTest scaffolding for pKVM
Shell UpdatedApr 1, 2025 -
pkvm-proxy-ocaml Public
Forked from rems-project/pkvm-proxy-ocamlOcaml library to talk to pKVM-proxy, and tests written on top of it
OCaml UpdatedApr 1, 2025 -
linux Public
Forked from rems-project/linuxLinux fork used in the REMS project. Mostly working off pKVM development at: https://android-kvm.googlesource.com/linux/
C Other UpdatedMar 16, 2025
{{ message }}