Skip to content
This organization was marked as archived by an administrator on Mar 4, 2026. It is no longer maintained.
@AmbiML

AmbiML

Popular repositories Loading

  1. sparrow-kernel sparrow-kernel Public archive

    Forked from seL4/seL4

    The seL4 microkernel

    C 26 5

  2. iree-rv32-springbok iree-rv32-springbok Public archive

    CMake 23 9

  3. sparrow-manifest sparrow-manifest Public archive

    Project Sparrow: Repo Materials

    23 5

  4. sparrow-cantrip-full sparrow-cantrip-full Public archive

    Rust 10 4

  5. sparrow-kata-full sparrow-kata-full Public archive

    Rust 8 6

  6. trace-based-model trace-based-model Public archive

    Python 6 2

Repositories

Showing 10 of 21 repositories
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…