Skip to content
@CertiKOS

CertiKOS

Popular repositories Loading

  1. coqrel coqrel Public

    Binary logical relations library for the Coq proof assistant

    Coq 21 1

  2. compcert compcert Public

    Forked from AbsInt/CompCert

    Compcert repository of the Yale FLINT Group

    Coq 12 2

  3. compcert.old compcert.old Public archive

    CompCertX features to be merged into CompCert

    Coq 10

  4. rbgs rbgs Public

    Refinement-Based Game Semantics

    Coq 6 5

  5. rbgs-papers rbgs-papers Public

    Publications about refinement-based game semantics

    TeX 2 1

  6. machine-learning machine-learning Public

    Verification of machine learning systems

    Coq 1

Repositories

Showing 10 of 26 repositories
  • musl-ringleader Public

    Musl Libc with RingLeader System Calls

    CertiKOS/musl-ringleader’s past year of commit activity
    C 0 1 0 0 Updated Apr 4, 2025
  • linux Public Forked from torvalds/linux

    Linux kernel source tree

    CertiKOS/linux’s past year of commit activity
    C 0 57,510 0 0 Updated Mar 26, 2025
  • qemu Public Forked from qemu/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/qemu’s past year of commit activity
    C 0 5,974 0 0 Updated Mar 4, 2025
  • rbgs Public

    Refinement-Based Game Semantics

    CertiKOS/rbgs’s past year of commit activity
    Coq 6 5 0 1 Updated Feb 12, 2025
  • buildroot Public Forked from buildroot/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/buildroot’s past year of commit activity
    Makefile 0 2,526 0 0 Updated Feb 8, 2025
  • rbgs-papers Public

    Publications about refinement-based game semantics

    CertiKOS/rbgs-papers’s past year of commit activity
    TeX 2 1 0 1 Updated Jan 24, 2025
  • coqrel Public

    Binary logical relations library for the Coq proof assistant

    CertiKOS/coqrel’s past year of commit activity
    Coq 21 1 7 0 Updated Oct 26, 2024
  • compcert Public Forked from AbsInt/CompCert

    Compcert repository of the Yale FLINT Group

    CertiKOS/compcert’s past year of commit activity
    Coq 12 283 0 0 Updated Oct 16, 2024
  • rust-resources Public
    CertiKOS/rust-resources’s past year of commit activity
    0 0 2 0 Updated May 22, 2024
  • binaries Public

    Binary Artifacts, File Systems, Kernel Images, Releases Etc.

    CertiKOS/binaries’s past year of commit activity
    0 0 0 0 Updated Feb 4, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…