Skip to content
View JonathanWoollett-Light's full-sized avatar
34 followers · 3 following

Achievements

Achievement: Pull Sharkx3Achievement: YOLOAchievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx3Achievement: YOLOAchievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report JonathanWoollett-Light

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
JonathanWoollett-Light/README.md

Hi ✋ I'm Jonathan

Crates.io User Total Downloads

I lean towards systems programming and like optimising things.

Code written on GitHub by language GitHub contribution statistics

Pinned Loading

  1. firecracker-microvm/firecracker firecracker-microvm/firecracker Public

    Secure and fast microVMs for serverless computing.

    Rust 33.3k 2.3k

  2. nix-rust/nix nix-rust/nix Public

    Rust friendly bindings to *nix APIs

    Rust 3k 745

  3. cogent cogent Public

    Simple neural network library for classification written in Rust.

    Rust 46 2

  4. rust-ad rust-ad Public

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

    Rust 16 2

  5. ci-metrics/example ci-metrics/example Public

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

    Rust 1 1

  6. formal formal Public

    A formally verified procedural language for systems programming.

    Rust