Skip to content
@rems-project

REMS

Pinned Loading

  1. lem lem Public

    Lem semantic definition language

    OCaml 162 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 932 164

  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
  • cn Public

    CN separation logic refinement type system for C

    rems-project/cn's past year of commit activity
    OCaml 61 23 60 16 Updated Sep 11, 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 13 Updated Sep 11, 2026
  • sail Public

    Sail architecture definition language

    rems-project/sail's past year of commit activity
    Sail 932 164 261 38 Updated Sep 11, 2026
  • cva6 Public Forked from openhwgroup/cva6

    The CORE-V CVA6 is a highly configurable, 6-stage RISC-V core for both application and embedded applications. Application class configurations are capable of booting Linux.

    rems-project/cva6's past year of commit activity
    Assembly 0 1,027 0 0 Updated Sep 11, 2026
  • 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 4 2 0 0 Updated Sep 11, 2026
  • linux-tools Public
    rems-project/linux-tools's past year of commit activity
    C 4 2 0 0 Updated Sep 11, 2026
  • claude-code-sandbox Public

    Lightweight agent sandbox

    rems-project/claude-code-sandbox's past year of commit activity
    Shell 0 MIT 0 0 0 Updated Sep 10, 2026
  • isla-testgen Public

    ISA automatic test generator using the isla symbolic execution tool

    rems-project/isla-testgen's past year of commit activity
    Rust 10 5 1 0 Updated Sep 10, 2026
  • isla Public

    Symbolic execution tool for Sail ISA specifications

    rems-project/isla's past year of commit activity
    Rust 95 23 14 26 Updated Sep 10, 2026
  • cn-tutorial Public
    rems-project/cn-tutorial's past year of commit activity
    C 17 13 22 12 Updated Sep 6, 2026
View all repositories

Most used topics

Loading…