Skip to content

Navigation Menu

Sign in
Appearance settings
AmbiML

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Appearance settings
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 7 2

Repositories

Loading
Type
Select type
Language
Select language
Sort
Select order
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…
Morty Proxy This is a proxified and sanitized view of the page, visit original site.