Popular repositories Loading

1. asl-interpreter asl-interpreter Public

   Forked from ARM-software/asl-interpreter

   Example implementation of Arm's Architecture Specification Language (ASL)

   OCaml 4

2. mra_tools mra_tools Public

   Forked from alastairreid/mra_tools

   Tools to process ARM's Machine Readable Architecture Specification

   Python 1

3. sail-arm sail-arm Public

   Forked from rems-project/sail-arm

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

   Isabelle 1

4. fosad fosad Public

   Some theories from a lecture on "Foundations of Security Analysis and Design", formalised in Isabelle.

   Isabelle

5. linksem linksem Public

   Forked from stephenrkell/linksem

   Executable semantics of linking (ELF static linking only, for now)

   Standard ML

6. sail-cheri-mips sail-cheri-mips Public

   Forked from CTSRD-CHERI/sail-cheri-mips

   Sail architecture definition language

   Makefile