Thomas Bauereiss's 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.
Language:IsabelleNOASSERTION000
linksem
Executable semantics of linking (ELF static linking only, for now)
Language:Standard ML000
mra_tools
Tools to process ARM's Machine Readable Architecture Specification
Language:PythonBSD-3-Clause000
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
Language:ShellCC0-1.0000
qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
Language:CGPL-2.0000
rmem
rmem public repo
Language:JavaScriptNOASSERTION000
sail
Sail architecture definition language
Language:IsabelleNOASSERTION000
sail-arm
Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model
Language:IsabelleNOASSERTION000
sail-cheri-mips
Sail architecture definition language
Language:MakefileNOASSERTION000