Pinned Repositories
buildroot
Buildroot, making embedded Linux easy. Note that this is not the official repository, but only a mirror. The official Git repository is at http://git.buildroot.net/buildroot/. Do not open issues or file pull requests here.
compcert
Compcert repository of the Yale FLINT Group
compcert.old
CompCertX features to be merged into CompCert
coqrel
Binary logical relations library for the Coq proof assistant
CPUmodels
GoNative project: formal machines models in Coq
machine-learning
Verification of machine learning systems
proof-checker
Project for the foundational and extensible proof checker
rbgs
Refinement-Based Game Semantics
rbgs-papers
Publications about refinement-based game semantics
tutorial-coqdoc
Published coqdoc files for our CertiKOS tutorial
CertiKOS's Repositories
CertiKOS/coqrel
Binary logical relations library for the Coq proof assistant
CertiKOS/compcert
Compcert repository of the Yale FLINT Group
CertiKOS/compcert.old
CompCertX features to be merged into CompCert
CertiKOS/rbgs
Refinement-Based Game Semantics
CertiKOS/rbgs-papers
Publications about refinement-based game semantics
CertiKOS/machine-learning
Verification of machine learning systems
CertiKOS/proof-checker
Project for the foundational and extensible proof checker
CertiKOS/buildroot
Buildroot, making embedded Linux easy. Note that this is not the official repository, but only a mirror. The official Git repository is at http://git.buildroot.net/buildroot/. Do not open issues or file pull requests here.
CertiKOS/CPUmodels
GoNative project: formal machines models in Coq
CertiKOS/obj-ni
Object-based information flow control policies
CertiKOS/pastis
CertiKOS/poly-c
CertiKOS/ThinROS
ThinROS Common Library and Driver
CertiKOS/tutorial-coqdoc
Published coqdoc files for our CertiKOS tutorial
CertiKOS/ardupilot-xor
CertiKOS/arm-trusted-firmware
CertiKOS development fork of the ARM-TF for QEMU and Nvidia Jetson TX2
CertiKOS/binaries
Binary Artifacts, File Systems, Kernel Images, Releases Etc.
CertiKOS/certikos-guests
CertiKOS/linux
Linux kernel source tree
CertiKOS/mavlink-secure
CertiKOS/musl-ringleader
Musl Libc with RingLeader System Calls
CertiKOS/nand-runtime-monitor
Sample code of Nand Flash Runtime Monitor
CertiKOS/qemu
Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.
CertiKOS/rust-resources
CertiKOS/SingleStackCompCert
Experimenting a single-stack within CompCert
CertiKOS/u-boot
"Das U-Boot" Source Tree