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

    SMT

Repositories

Showing 10 of 29 repositories
  • sel4-rust-tutorial-code Public
    coliasgroup/sel4-rust-tutorial-code’s past year of commit activity
    Rust 0 0 0 0 Updated Sep 22, 2024
  • sel4-rust-tutorial Public
    coliasgroup/sel4-rust-tutorial’s past year of commit activity
    Rust 0 0 0 0 Updated Sep 22, 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
    SMT 0 0 0 0 Updated Sep 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 42 0 0 Updated Sep 18, 2024
  • seL4 Public Forked from seL4/seL4

    The seL4 microkernel

    coliasgroup/seL4’s past year of commit activity
    C 0 681 0 0 Updated Sep 18, 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 Sep 17, 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 140 0 0 Updated Sep 16, 2024
  • l4v Public Forked from seL4/l4v

    seL4 specification and proofs

    coliasgroup/l4v’s past year of commit activity
    Isabelle 0 109 0 0 Updated Sep 16, 2024
  • nixpkgs Public Forked from NixOS/nixpkgs

    Nix Packages collection & NixOS

    coliasgroup/nixpkgs’s past year of commit activity
    Nix 0 MIT 13,818 0 0 Updated Sep 10, 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…