Pinned Repositories
asl-interpreter
Example implementation of Arm's Architecture Specification Language (ASL)
fosad
Some theories from a lecture on "Foundations of Security Analysis and Design", formalised in Isabelle.
linksem
Executable semantics of linking (ELF static linking only, for now)
mra_tools
Tools to process ARM's Machine Readable Architecture Specification
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
rmem
rmem public repo
sail
Sail architecture definition language
sail-arm
Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model
sail-cheri-mips
Sail architecture definition language
bauereiss's Repositories
bauereiss/asl-interpreter
Example implementation of Arm's Architecture Specification Language (ASL)
bauereiss/fosad
Some theories from a lecture on "Foundations of Security Analysis and Design", formalised in Isabelle.
bauereiss/linksem
Executable semantics of linking (ELF static linking only, for now)
bauereiss/mra_tools
Tools to process ARM's Machine Readable Architecture Specification
bauereiss/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
bauereiss/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
bauereiss/rmem
rmem public repo
bauereiss/sail
Sail architecture definition language
bauereiss/sail-arm
Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model
bauereiss/sail-cheri-mips
Sail architecture definition language