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 10

  3. sail sail Public

    Sail architecture definition language

    Sail 935 165

  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 93 39

Repositories

Showing 10 of 74 repositories
  • CN2Islaris Public
    rems-project/CN2Islaris's past year of commit activity
    Rocq Prover 3 1 0 0 Updated Sep 21, 2026
  • sail Public

    Sail architecture definition language

    rems-project/sail's past year of commit activity
    Sail 935 165 260 40 Updated Sep 21, 2026
  • read-dwarf Public

    Binary analysis tool

    rems-project/read-dwarf's past year of commit activity
    OCaml 10 5 5 1 Updated Sep 20, 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 20, 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 10 11 2 Updated Sep 19, 2026
  • isla Public

    Symbolic execution tool for Sail ISA specifications

    rems-project/isla's past year of commit activity
    Rust 95 24 14 27 Updated Sep 18, 2026
  • lean-sail Public
    rems-project/lean-sail's past year of commit activity
    Lean 4 9 2 4 Updated Sep 18, 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 4 Updated Sep 17, 2026
  • cn Public

    CN separation logic refinement type system for C

    rems-project/cn's past year of commit activity
    OCaml 61 23 64 15 Updated Sep 16, 2026
  • cn-tutorial Public
    rems-project/cn-tutorial's past year of commit activity
    C 17 13 22 12 Updated Sep 15, 2026
View all repositories

Most used topics

Loading…