Pinned Loading

1. rems-project/sail rems-project/sail Public

   Sail architecture definition language

   Isabelle 624 116

2. rems-project/isla rems-project/isla Public

   Symbolic execution tool for Sail ISA specifications

   Rust 64 11

3. rems-project/sail-arm rems-project/sail-arm Public

   Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model

   Isabelle 71 18

4. riscv/sail-riscv riscv/sail-riscv Public

   Sail RISC-V model

   Coq 467 169

5. Mella Mella Public

   A dependently-typed interactive theorem prover with waldmeister integration

   Haskell 5

6. SKAT SKAT Public

   An Isabelle implementation of Dexter Kozen's schematic Kleene algebra + Hoare logic.

   Shell