Skip to content

@islet-project The Islet Project

Change the repository type filter

All

    Repositories list

    27 repositories

    • image-registry

      Public
      OCI and RA-TLS compatibile application image registry server and client
      Rust
      •
      Apache License 2.0
      •0•0•0•0•Updated Mar 26, 2026Mar 26, 2026

    • ratls

      Public
      Rust
      •1•0•1•1•Updated Mar 26, 2026Mar 26, 2026

    • realm-verifier

      Public
      Rust
      •0•0•0•0•Updated Mar 26, 2026Mar 26, 2026

    • veraison-verifier

      Public
      Rust
      •0•0•0•0•Updated Mar 26, 2026Mar 26, 2026

    • rsictl

      Public
      Rust
      •
      Apache License 2.0
      •2•1•1•0•Updated Mar 26, 2026Mar 26, 2026

    • rocli

      Public
      Rust
      •0•1•0•0•Updated Mar 26, 2026Mar 26, 2026

    • rust-rsi

      Public
      Rust
      •
      Apache License 2.0
      •1•1•0•0•Updated Mar 26, 2026Mar 26, 2026

    • islet

      Public
      An on-device confidential computing platform
      rustconfidential-computing
      rustconfidential-computing
      Rust
      •
      Apache License 2.0
      •32•137•20•1•Updated Mar 25, 2026Mar 25, 2026

    • realm-metadata-tool

      Public
      A tool for generating files containing the the realm metadata.
      Rust
      •
      Apache License 2.0
      •0•0•0•0•Updated Mar 20, 2026Mar 20, 2026

    • 3rd-kvmtool

      Public
      C
      •
      GNU General Public License v2.0
      •0•0•0•0•Updated Feb 16, 2026Feb 16, 2026

    • 3rd-android-kernel

      Public
      C
      •
      Other
      •0•0•0•0•Updated Feb 10, 2026Feb 10, 2026

    • scope

      Public
      Code for ASPLOS 2026 paper: "Detecting Inconsistencies in ARM CCA’s Formally Verified Specification"
      Python
      •
      Apache License 2.0
      •0•9•0•0•Updated Jan 13, 2026Jan 13, 2026

    • 3rd-linux

      Public
      C
      •
      Other
      •0•0•0•0•Updated Dec 3, 2025Dec 3, 2025

    • 3rd-tf-a-tests

      Public
      C
      •
      Other
      •0•0•0•0•Updated Nov 4, 2025Nov 4, 2025

    • assets

      Public
      An on-device confidential computing platform
      C++
      •7•7•0•0•Updated Oct 9, 2025Oct 9, 2025

    • 3rd-tf-a

      Public
      C
      •
      Other
      •0•0•0•0•Updated Oct 8, 2025Oct 8, 2025

    • realm-manager

      Public
      For host daemon and realm daemon with protocol and client crates
      Rust
      •
      Apache License 2.0
      •0•0•0•1•Updated Oct 8, 2025Oct 8, 2025

    • linux-rsi

      Public
      C
      •0•0•0•0•Updated Oct 7, 2025Oct 7, 2025

    • arm-trusted-firmware

      Public
      Read-only mirror of Trusted Firmware-A
      C
      •
      Other
      •1.6k•0•0•0•Updated Sep 23, 2025Sep 23, 2025

    • 3rd-tf-rmm

      Public
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Jul 31, 2025Jul 31, 2025

    • cca-rmm-acs

      Public
      Tests for verifying compliance of RMM implementations
      C
      •
      Other
      •8•0•0•0•Updated Jul 9, 2025Jul 9, 2025

    • utrace

      Public
      A Rust tool to trace unsafe code at the HIR stage
      Rust
      •
      Apache License 2.0
      •0•1•0•0•Updated Mar 6, 2025Mar 6, 2025

    • 3rd-gki-build

      Public
      C
      •0•0•0•0•Updated Dec 9, 2024Dec 9, 2024

    • remote-attestation

      Public archive
      Remote Attestation for Islet
      Rust
      •0•1•1•1•Updated Nov 20, 2024Nov 20, 2024

    • devicemapper-rs

      Public
      A Rust library for using Linux devicemapper
      Rust
      •
      Mozilla Public License 2.0
      •34•0•0•0•Updated Oct 14, 2024Oct 14, 2024

    • ciborium

      Public
      CBOR utilities
      Rust
      •
      Other
      •85•0•0•0•Updated May 13, 2024May 13, 2024

    • coset

      Public
      A set of Rust types for supporting COSE
      Rust
      •
      Apache License 2.0
      •22•0•0•0•Updated Mar 21, 2024Mar 21, 2024
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.