Skip to content

Auxon Corporation

Critical Insights for Critical Systems

Popular repositories

  1. ferros Public

    A Rust-based userland which also adds compile-time assurances to seL4 development.

    Rust 71 8

  2. Using Type-Level Programming in Rust to Make Safer Hardware Abstractions

    Rust 41 5

  3. tnfilt Public

    Rust 22 1

  4. A generated thin wrapper around libsel4.a, with supporting subcrates.

    Rust 9 6

  5. A more idiomatic binding of JVM cucumber to Clojure

    Clojure 9

  6. A workaround for rust-lang/cargo#5730

    Rust 8 1



This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages


Most used topics