Skip to content
@rems-project

REMS

Pinned Loading

  1. lem lem Public

    Lem semantic definition language

    OCaml 137 15

  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

    Isabelle 685 124

  4. netsem netsem Public

    Network Semantics

    HTML 86 7

  5. rmem rmem Public

    rmem public repo

    JavaScript 41 9

  6. cerberus cerberus Public

    Cerberus C semantics

    OCaml 62 30

Repositories

Showing 10 of 59 repositories
  • sail Public

    Sail architecture definition language

    rems-project/sail’s past year of commit activity
    Isabelle 685 124 178 27 Updated Feb 28, 2025
  • cn-tutorial Public
    rems-project/cn-tutorial’s past year of commit activity
    C 10 9 18 8 Updated Feb 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 Feb 27, 2025
  • cerberus Public

    Cerberus C semantics

    rems-project/cerberus’s past year of commit activity
    OCaml 62 30 274 17 Updated Feb 27, 2025
  • linux Public

    Linux fork used in the REMS project. Mostly working off pKVM development at: https://android-kvm.googlesource.com/linux/

    rems-project/linux’s past year of commit activity
    C 1 0 0 0 Updated Feb 27, 2025
  • archsem Public
    rems-project/archsem’s past year of commit activity
    Coq 5 0 0 1 Updated Feb 26, 2025
  • sail-tiny-arm Public
    rems-project/sail-tiny-arm’s past year of commit activity
    Coq 2 1 0 1 Updated Feb 21, 2025
  • lem Public

    Lem semantic definition language

    rems-project/lem’s past year of commit activity
    OCaml 137 15 10 2 Updated Feb 18, 2025
  • 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 77 20 13 3 Updated Feb 12, 2025
  • casemate Public
    rems-project/casemate’s past year of commit activity
    C 3 0 0 0 Updated Feb 7, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…