Pinned Loading

1. xAPI-Validator-JSxAPI-Validator-JSPublic

   A stand-alone Javascript validator for Experience API (xAPI) statements.

   JavaScript 12 11

2. aeron-io/simple-binary-encodingaeron-io/simple-binary-encodingPublic

   Simple Binary Encoding (SBE) - High Performance Message Codec

   Java 3.5k 595

3. auxoncorp/fixed-slice-vecauxoncorp/fixed-slice-vecPublic

   Vec with dynamic length and runtime-determined capacity backed by a slice. no_std , no-allocator friendly.

   Rust 13 5

4. auxoncorp/ferrosauxoncorp/ferrosPublic

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

   Rust 120 11

5. PolySync/cargo-fel4PolySync/cargo-fel4Public

   A Cargo subcommand for working with feL4 projects.

   Rust 52 13

6. PolySync/cargo-culturePolySync/cargo-culturePublic

   Automatic Rust project convention checks

   Rust 17 2