Skip to content
@rems-project

REMS

Pinned Loading

  1. lem lem Public

    Lem semantic definition language

    OCaml 138 16

  2. linksem linksem Public

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

    Standard ML 43 7

  3. sail sail Public

    Sail architecture definition language

    OCaml 701 126

  4. netsem netsem Public

    Network Semantics

    HTML 87 7

  5. rmem rmem Public

    rmem public repo

    JavaScript 41 9

  6. cerberus cerberus Public

    Cerberus C semantics

    OCaml 61 31

Repositories

Showing 10 of 60 repositories
  • sail-arm Public

    Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model

    rems-project/sail-arm’s past year of commit activity
    Isabelle 79 21 13 4 Updated Apr 5, 2025
  • cn-tutorial Public
    rems-project/cn-tutorial’s past year of commit activity
    C 11 10 23 9 Updated Apr 5, 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 4, 2025
  • archsem Public
    rems-project/archsem’s past year of commit activity
    Coq 7 1 0 1 Updated Apr 4, 2025
  • casemate Public
    rems-project/casemate’s past year of commit activity
    C 4 1 0 2 Updated Apr 4, 2025
  • cn Public

    CN separation logic refinement type system for C

    rems-project/cn’s past year of commit activity
    OCaml 4 8 4 0 Updated Apr 4, 2025
  • sail Public

    Sail architecture definition language

    rems-project/sail’s past year of commit activity
    OCaml 701 126 206 30 Updated Apr 3, 2025
  • sail-tiny-arm Public
    rems-project/sail-tiny-arm’s past year of commit activity
    Coq 2 1 0 1 Updated Apr 3, 2025
  • pkvm-proxy-ocaml Public

    Ocaml library to talk to pKVM-proxy, and tests written on top of it

    rems-project/pkvm-proxy-ocaml’s past year of commit activity
    OCaml 2 1 0 0 Updated Apr 2, 2025
  • cerberus Public

    Cerberus C semantics

    rems-project/cerberus’s past year of commit activity
    OCaml 61 31 268 11 Updated Apr 1, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…