Skip to content

@coliasgroup Colias Group

Change the repository type filter

All

    Repositories list

    28 repositories

    • seL4-binary-verification-sandbox

      Public
      Sandbox repository for exploring and experimenting with seL4's binary verification
      Haskell
      •0•0•0•0•Updated Feb 27, 2025Feb 27, 2025

    • seL4-verification-reproducibility

      Public
      Nix expressions towards improving reproducability for seL4's verification results
      SMT
      •0•0•0•0•Updated Feb 23, 2025Feb 23, 2025

    • graph-refine

      Public
      Python
      •
      Other
      •11•0•0•0•Updated Feb 4, 2025Feb 4, 2025

    • l4v

      Public
      seL4 specification and proofs
      Isabelle
      •
      Other
      •109•0•0•0•Updated Dec 11, 2024Dec 11, 2024

    • seL4

      Public
      The seL4 microkernel
      C
      •
      Other
      •687•0•0•1•Updated Dec 9, 2024Dec 9, 2024

    • ring

      Public
      Safe, fast, small crypto using Rust
      Assembly
      •
      Other
      •733•0•0•0•Updated Nov 15, 2024Nov 15, 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.
      Rust
      •2•3•1•0•Updated Oct 31, 2024Oct 31, 2024

    • seL4-MirageOS-PoC

      Public
      Proof-of-concept for MirageOS on seL4
      Nix
      •
      MIT License
      •1•3•0•0•Updated Oct 23, 2024Oct 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.
      Rust
      •1•2•0•0•Updated Oct 18, 2024Oct 18, 2024

    • microkit

      Public
      seL4 Core Platform - A simple operating system for the seL4 microkernel
      Python
      •
      Other
      •53•0•0•0•Updated Oct 7, 2024Oct 7, 2024

    • HOL

      Public
      This is a fork of the HOL4 sources, used by the seL4 test infrastructure. See the original above, or visit the main website:
      Standard ML
      •
      Other
      •146•0•0•0•Updated Sep 16, 2024Sep 16, 2024

    • nixpkgs

      Public
      Nix Packages collection & NixOS
      Nix
      •
      MIT License
      •15k•0•0•0•Updated Sep 11, 2024Sep 11, 2024

    • capdl

      Public
      Capability Distribution Language tools for seL4
      Haskell
      •46•0•0•0•Updated Sep 11, 2024Sep 11, 2024

    • rust-sel4

      Public
      Rust support for seL4 userspace
      Rust
      •22•0•0•0•Updated Jul 31, 2024Jul 31, 2024

    • seL4-libstd-PoC

      Public
      Proof-of-concept for Rust libstd on seL4
      Nix
      •
      MIT License
      •0•0•0•0•Updated Jul 12, 2024Jul 12, 2024

    • nixos-lite

      Public
      Nix
      •
      MIT License
      •0•0•0•0•Updated Jun 30, 2024Jun 30, 2024

    • rust

      Public
      Empowering everyone to build reliable and efficient software.
      Rust
      •
      Other
      •13k•0•0•0•Updated Jun 26, 2024Jun 26, 2024

    • ocaml

      Public
      The core OCaml system: compilers, runtime system, base libraries
      OCaml
      •
      Other
      •1.1k•0•0•0•Updated Jun 26, 2024Jun 26, 2024

    • qemu

      Public
      C
      •
      Other
      •0•0•0•0•Updated Jun 8, 2024Jun 8, 2024

    • verus

      Public
      Verified Rust for low-level systems code
      Rust
      •
      MIT License
      •82•0•0•0•Updated Jun 4, 2024Jun 4, 2024

    • dafny

      Public
      Dafny is a verification-aware programming language
      C#
      •
      Other
      •271•0•0•0•Updated May 27, 2024May 27, 2024

    • parking_lot

      Public archive
      Compact and efficient synchronization primitives for Rust. Also provides an API for creating custom synchronization primitives.
      Rust
      •
      Apache License 2.0
      •226•0•0•0•Updated Apr 21, 2024Apr 21, 2024

    • rustls

      Public archive
      A modern TLS library in Rust
      Rust
      •
      Other
      •684•0•0•0•Updated Apr 21, 2024Apr 21, 2024

    • volatile

      Public
      Rust
      •
      Apache License 2.0
      •19•0•0•0•Updated Jan 28, 2024Jan 28, 2024

    • rust-embedded-fat

      Public
      A SD/MMC library with FAT16/FAT32 support, suitable for Embedded Rust systems
      Rust
      •
      Apache License 2.0
      •81•0•0•0•Updated Nov 7, 2023Nov 7, 2023

    • rustfmt

      Public archive
      Format Rust code
      Rust
      •
      Apache License 2.0
      •909•0•0•0•Updated Oct 23, 2023Oct 23, 2023

    • rust-mbedtls

      Public archive
      Idiomatic Rust wrapper for MbedTLS
      Rust
      •
      Apache License 2.0
      •83•0•0•0•Updated Oct 2, 2023Oct 2, 2023

    • rust-sel4-docker-images

      Public
      Docker image for working with https://github.com/seL4/rust-sel4
      Python
      •
      BSD 2-Clause "Simplified" License
      •0•0•0•0•Updated Sep 16, 2023Sep 16, 2023