Pinned Loading

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

   Sail architecture definition language

   Sail 930 163

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

   Symbolic execution tool for Sail ISA specifications

   Rust 95 23

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 96 28

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

   Sail RISC-V model

   Sail 760 293

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