Skip to content
@coliasgroup

Colias Group

Pinned Loading

  1. seL4-verification-reproducibility seL4-verification-reproducibility Public

    Nix expressions towards improving reproducability for seL4's verification results

    Nix

Repositories

Showing 10 of 28 repositories
  • l4v Public Forked from seL4/l4v

    seL4 specification and proofs

    coliasgroup/l4v’s past year of commit activity
    Isabelle 0 112 0 0 Updated Nov 13, 2024
  • seL4 Public Forked from seL4/seL4

    The seL4 microkernel

    coliasgroup/seL4’s past year of commit activity
    C 0 689 0 0 Updated Nov 12, 2024
  • seL4-verification-reproducibility Public

    Nix expressions towards improving reproducability for seL4's verification results

    coliasgroup/seL4-verification-reproducibility’s past year of commit activity
    Nix 0 0 0 0 Updated Nov 11, 2024
  • seL4-binary-verification-sandbox Public

    Sandbox repository for exploring and experimenting with seL4's binary verification

    coliasgroup/seL4-binary-verification-sandbox’s past year of commit activity
    Rust 0 0 0 0 Updated Nov 11, 2024
  • seL4-summit-2024-rust-training Public

    Materials for a training session on how to use Rust to build on top of seL4, to be delivered at the seL4 Summit 2024.

    coliasgroup/seL4-summit-2024-rust-training’s past year of commit activity
    Rust 2 2 1 0 Updated Oct 31, 2024
  • seL4-MirageOS-PoC Public

    Proof-of-concept for MirageOS on seL4

    coliasgroup/seL4-MirageOS-PoC’s past year of commit activity
    Nix 3 MIT 1 0 0 Updated Oct 23, 2024
  • seL4-summit-2024-rust-training-code Public

    Code for a training session on how to use Rust to build on top of seL4, to be delivered at the seL4 Summit 2024.

    coliasgroup/seL4-summit-2024-rust-training-code’s past year of commit activity
    Rust 2 0 0 0 Updated Oct 18, 2024
  • microkit Public Forked from seL4/microkit

    seL4 Core Platform - A simple operating system for the seL4 microkernel

    coliasgroup/microkit’s past year of commit activity
    Python 0 48 0 0 Updated Oct 7, 2024
  • graph-refine Public Forked from seL4/graph-refine
    coliasgroup/graph-refine’s past year of commit activity
    Python 0 11 0 0 Updated Sep 17, 2024
  • HOL Public Forked from seL4/HOL

    This is a fork of the HOL4 sources, used by the seL4 test infrastructure. See the original above, or visit the main website:

    coliasgroup/HOL’s past year of commit activity
    Standard ML 0 143 0 0 Updated Sep 16, 2024
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…