Skip to content
@AmbiML

AmbiML

Popular repositories Loading

  1. sparrow-kernel sparrow-kernel Public archive

    Forked from seL4/seL4

    The seL4 microkernel

    C 25 4

  2. sparrow-manifest sparrow-manifest Public archive

    Project Sparrow: Repo Materials

    17 3

  3. iree-rv32-springbok iree-rv32-springbok Public archive

    CMake 14 7

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

    Rust 7 2

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

    Rust 5 4

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

    Python 4

Repositories

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