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 27 repositories
  • 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 11, 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 11, 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 137 0 0 Updated Sep 11, 2024
  • nixpkgs Public Forked from NixOS/nixpkgs

    Nix Packages collection & NixOS

    coliasgroup/nixpkgs’s past year of commit activity
    Nix 0 MIT 13,750 0 0 Updated Sep 11, 2024
  • capdl Public Forked from seL4/capdl

    Capability Distribution Language tools for seL4

    coliasgroup/capdl’s past year of commit activity
    Haskell 0 46 0 0 Updated Sep 11, 2024
  • seL4 Public Forked from seL4/seL4

    The seL4 microkernel

    coliasgroup/seL4’s past year of commit activity
    C 0 679 0 0 Updated Sep 8, 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 4, 2024
  • rust-sel4 Public Forked from seL4/rust-sel4

    Rust support for seL4 userspace

    coliasgroup/rust-sel4’s past year of commit activity
    Rust 0 12 0 0 Updated Jul 31, 2024
  • seL4-libstd-PoC Public

    Proof-of-concept for Rust libstd on seL4

    coliasgroup/seL4-libstd-PoC’s past year of commit activity
    Nix 0 MIT 0 0 0 Updated Jul 12, 2024
  • seL4-MirageOS-PoC Public

    Proof-of-concept for MirageOS on seL4

    coliasgroup/seL4-MirageOS-PoC’s past year of commit activity
    Nix 0 MIT 0 0 0 Updated Jul 11, 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…