Pinned

1. xAPI-Validator-JS xAPI-Validator-JS Public

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

   JavaScript 12 11

2. real-logic/simple-binary-encoding real-logic/simple-binary-encoding Public

   Simple Binary Encoding (SBE) - High Performance Message Codec

   Java 3k 514

3. auxoncorp/fixed-slice-vec auxoncorp/fixed-slice-vec Public

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

   Rust 7 2

4. auxoncorp/ferros auxoncorp/ferros Public

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

   Rust 104 10

5. PolySync/cargo-fel4 PolySync/cargo-fel4 Public

   A Cargo subcommand for working with feL4 projects.

   Rust 51 12

6. PolySync/cargo-culture PolySync/cargo-culture Public

   Automatic Rust project convention checks

   Rust 17 2