Skip to content

Pinned Loading

  1. lem Public

    Lem semantic definition language

    OCaml 137 16

  2. linksem Public

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

    Standard ML 43 7

  3. sail Public

    Sail architecture definition language

    OCaml 690 125

  4. netsem Public

    Network Semantics

    HTML 87 7

  5. rmem Public

    rmem public repo

    JavaScript 41 9

  6. cerberus Public

    Cerberus C semantics

    OCaml 61 31

Repositories

Showing 10 of 60 repositories
  • isla Public

    Symbolic execution tool for Sail ISA specifications

    Rust 66 11 11 26 Updated Mar 21, 2025
  • cn Public

    CN separation logic refinement type system for C

    OCaml 3 7 3 0 Updated Mar 21, 2025
  • sail Public

    Sail architecture definition language

    OCaml 690 125 200 27 Updated Mar 21, 2025
  • cerberus Public

    Cerberus C semantics

    OCaml 61 31 267 13 Updated Mar 21, 2025
  • archsem Public
    Coq 5 1 0 1 Updated Mar 21, 2025
  • linux Public

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

    C 1 1 0 0 Updated Mar 20, 2025
  • rmem Public

    rmem public repo

    JavaScript 41 9 7 1 Updated Mar 20, 2025
  • casemate Public
    C 4 1 0 1 Updated Mar 20, 2025
  • opam-repository Public Forked from ocaml/opam-repository

    REMS Project package repository for OPAM

    Shell 1 CC0-1.0 1,184 0 1 Updated Mar 20, 2025
  • isla-testgen Public

    ISA automatic test generator using the isla symbolic execution tool

    Rust 2 1 1 1 Updated Mar 19, 2025