Loading contributions...
Top Repositories
Example implementation of Arm's Architecture Specification Language (ASL)
Tools to process ARM's Machine Readable Architecture Specification
Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model
Sail RISC-V model
Sail architecture definition language
Open-source keyboard firmware for Atmel AVR and Arm USB families
Repositories
11Sail RISC-V model
Tools to process ARM's Machine Readable Architecture Specification
Example implementation of Arm's Architecture Specification Language (ASL)
Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model
Sail architecture definition language
Open-source keyboard firmware for Atmel AVR and Arm USB families
Some theories from a lecture on "Foundations of Security Analysis and Design", formalised in Isabelle.
Main public package repository for OPAM, the source package manager of OCaml.
rmem public repo
Sail architecture definition language
Executable semantics of linking (ELF static linking only, for now)