Skip to content
@rems-project

REMS

Pinned Loading

  1. lem lem Public

    Lem semantic definition language

    OCaml 164 22

  2. linksem linksem Public

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

    Standard ML 63 11

  3. sail sail Public

    Sail architecture definition language

    Sail 946 168

  4. netsem netsem Public

    Network Semantics

    HTML 96 8

  5. rmem rmem Public

    rmem public repo

    JavaScript 53 12

  6. cerberus cerberus Public

    Cerberus C semantics

    OCaml 97 41

Repositories

Showing 10 of 74 repositories
  • sail Public

    Sail architecture definition language

    rems-project/sail's past year of commit activity
    Sail 946 168 261 42 Updated Oct 2, 2026
  • archsem Public

    Rocq framework to define the semantics of CPU architectures

    rems-project/archsem's past year of commit activity
    Rocq Prover 39 5 2 7 Updated Oct 1, 2026
  • sail-tiny-x86 Public

    Tiny X86 sail model for testing purposes

    rems-project/sail-tiny-x86's past year of commit activity
    Sail 1 0 0 1 Updated Oct 1, 2026
  • read-dwarf Public

    Binary analysis tool

    rems-project/read-dwarf's past year of commit activity
    OCaml 10 5 5 1 Updated Oct 1, 2026
  • linksem Public

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

    rems-project/linksem's past year of commit activity
    Standard ML 63 11 11 2 Updated Oct 1, 2026
  • cn Public

    CN separation logic refinement type system for C

    rems-project/cn's past year of commit activity
    OCaml 61 25 66 18 Updated Sep 30, 2026
  • cn-tutorial Public
    rems-project/cn-tutorial's past year of commit activity
    C 17 13 22 12 Updated Sep 29, 2026
  • sail-tiny-arm Public
    rems-project/sail-tiny-arm's past year of commit activity
    Rocq Prover 11 5 0 1 Updated Sep 28, 2026
  • sail-tiny-arm-lean Public
    rems-project/sail-tiny-arm-lean's past year of commit activity
    Lean 0 0 0 0 Updated Sep 27, 2026
  • cerberus Public

    Cerberus C semantics

    rems-project/cerberus's past year of commit activity
    OCaml 97 41 254 23 Updated Sep 24, 2026
View all repositories

Most used topics

Loading…