Pinned Loading

1. Secure and fast microVMs for serverless computing.

   Rust 33k 2.3k

2. Rust friendly bindings to *nix APIs

   Rust 3k 741

3. Simple neural network library for classification written in Rust.

   Rust 46 2

4. An automatic differentiation library for both forward and reverse auto-diff via code transformation written in Rust.

   Rust 16 2

5. A demonstration of CI Metrics, a codecov-like mechanism to track CI metrics.

   Rust 1 1

6. A formally verified procedural language for systems programming.

   Rust