Skip to content
@rems-project

REMS

Pinned Loading

  1. lem lem Public

    Lem semantic definition language

    OCaml 139 16

  2. linksem linksem Public

    Semantic model for aspects of ELF static linking and DWARF debug information

    Standard ML 44 7

  3. sail sail Public

    Sail architecture definition language

    OCaml 724 127

  4. netsem netsem Public

    Network Semantics

    HTML 88 7

  5. rmem rmem Public

    rmem public repo

    JavaScript 41 9

  6. cerberus cerberus Public

    Cerberus C semantics

    OCaml 61 32

Repositories

Showing 10 of 60 repositories
  • system-litmus-harness Public

    test harness for systems-concurrency litmus tests, as a QEMU guest

    rems-project/system-litmus-harness’s past year of commit activity
    C 1 3 0 0 Updated Apr 29, 2025
  • sail Public

    Sail architecture definition language

    rems-project/sail’s past year of commit activity
    OCaml 724 127 208 28 Updated Apr 28, 2025
  • sail-tiny-arm Public
    rems-project/sail-tiny-arm’s past year of commit activity
    Coq 2 1 0 1 Updated Apr 28, 2025
  • pkvm-tester Public

    Test scaffolding for pKVM

    rems-project/pkvm-tester’s past year of commit activity
    Shell 2 2 0 1 Updated Apr 28, 2025
  • archsem Public

    Rocq framework to define the semantics of CPU architectures

    rems-project/archsem’s past year of commit activity
    Coq 7 1 0 1 Updated Apr 28, 2025
  • coq-sail Public

    Coq support library for Sail instruction set models

    rems-project/coq-sail’s past year of commit activity
    Coq 3 4 0 0 Updated Apr 28, 2025
  • cn Public

    CN separation logic refinement type system for C

    rems-project/cn’s past year of commit activity
    OCaml 4 13 21 4 Updated Apr 28, 2025
  • cn-tutorial Public
    rems-project/cn-tutorial’s past year of commit activity
    C 12 12 22 10 Updated Apr 25, 2025
  • CN-pKVM-early-allocator-case-study Public

    CN pKVM early allocator case study

    rems-project/CN-pKVM-early-allocator-case-study’s past year of commit activity
    C 5 0 0 0 Updated Apr 25, 2025
  • casemate Public
    rems-project/casemate’s past year of commit activity
    C 4 1 0 3 Updated Apr 24, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…