Skip to content

@CertiKOS CertiKOS

Change the repository type filter

All

    Repositories list

    26 repositories

    • musl-ringleader

      Public
      Musl Libc with RingLeader System Calls
      C
      •
      Other
      •1•0•0•0•Updated May 15, 2025May 15, 2025

    • rbgs

      Public
      Refinement-Based Game Semantics
      Coq
      •
      Other
      •5•6•0•1•Updated May 5, 2025May 5, 2025

    • linux

      Public
      Linux kernel source tree
      C
      •
      Other
      •56k•0•0•0•Updated May 5, 2025May 5, 2025

    • qemu

      Public
      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.
      C
      •
      Other
      •6k•0•0•0•Updated Mar 4, 2025Mar 4, 2025

    • buildroot

      Public
      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.
      Makefile
      •
      Other
      •2.6k•0•0•0•Updated Feb 8, 2025Feb 8, 2025

    • rbgs-papers

      Public
      Publications about refinement-based game semantics
      TeX
      •1•2•0•1•Updated Jan 24, 2025Jan 24, 2025

    • coqrel

      Public
      Binary logical relations library for the Coq proof assistant
      Coq
      •
      Other
      •1•21•7•0•Updated Oct 26, 2024Oct 26, 2024

    • compcert

      Public
      Compcert repository of the Yale FLINT Group
      Coq
      •
      Other
      •235•12•0•0•Updated Oct 16, 2024Oct 16, 2024

    • rust-resources

      Public
      0•0•2•0•Updated May 22, 2024May 22, 2024

    • binaries

      Public
      Binary Artifacts, File Systems, Kernel Images, Releases Etc.
      0•0•0•0•Updated Feb 4, 2024Feb 4, 2024

    • arm-trusted-firmware

      Public
      CertiKOS development fork of the ARM-TF for QEMU and Nvidia Jetson TX2
      C
      •
      Other
      •1.4k•0•0•0•Updated Jan 23, 2024Jan 23, 2024

    • u-boot

      Public
      "Das U-Boot" Source Tree
      C
      •3.9k•0•0•0•Updated Jul 21, 2023Jul 21, 2023

    • nand-runtime-monitor

      Public
      Sample code of Nand Flash Runtime Monitor
      C++
      •1•0•0•0•Updated Jul 12, 2023Jul 12, 2023

    • mavlink-secure

      Public
      Python
      •
      Other
      •0•0•0•0•Updated May 15, 2023May 15, 2023

    • ThinROS

      Public
      ThinROS Common Library and Driver
      0•0•0•0•Updated Jan 10, 2023Jan 10, 2023

    • ardupilot-xor

      Public
      C++
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Nov 18, 2022Nov 18, 2022

    • certikos-guests

      Public
      Shell
      •
      MIT License
      •0•0•0•0•Updated Nov 10, 2022Nov 10, 2022

    • obj-ni

      Public
      Object-based information flow control policies
      TeX
      •0•0•0•0•Updated Jun 21, 2022Jun 21, 2022

    • proof-checker

      Public
      Project for the foundational and extensible proof checker
      Coq
      •0•1•0•0•Updated Sep 9, 2019Sep 9, 2019

    • machine-learning

      Public
      Verification of machine learning systems
      Coq
      •0•1•0•0•Updated Mar 29, 2019Mar 29, 2019

    • compcert.old

      Public archive
      CompCertX features to be merged into CompCert
      Coq
      •
      Other
      •0•10•0•0•Updated Jan 2, 2018Jan 2, 2018

    • CPUmodels

      Public
      GoNative project: formal machines models in Coq
      OCaml
      •8•0•0•0•Updated Oct 23, 2017Oct 23, 2017

    • pastis

      Public archive
      OCaml
      •0•0•0•0•Updated Aug 24, 2017Aug 24, 2017

    • tutorial-coqdoc

      Public
      Published coqdoc files for our CertiKOS tutorial
      HTML
      •0•0•0•0•Updated Jul 24, 2017Jul 24, 2017

    • SingleStackCompCert

      Public archive
      Experimenting a single-stack within CompCert
      Coq
      •
      Other
      •0•0•0•0•Updated Apr 20, 2017Apr 20, 2017

    • poly-c

      Public archive
      TeX
      •0•0•0•0•Updated Sep 6, 2016Sep 6, 2016