Pinned Repositories
example
A demonstration of CI Metrics, a codecov-like mechanism to track CI metrics.
firecracker
Secure and fast microVMs for serverless computing.
a-little-more-than-an-introduction-to
Python code for the manim animations in my youtube series.
actix-auth
A truly simple illustration of basic authorisation using actix-web and MongoDB.
clippy-tracing
A tool to add, remove and check for `tracing::instrument` in large projects where it is infeasible to manually add it to thousands of functions.
cogent
Simple neural network library for classification written in Rust.
language
A formally verified procedural language for systems programming.
rust-ad
An automatic differentiation library for both forward and reverse auto-diff via code transformation written in Rust.
ux2
Non-standard integer types like u7, u9, u10, u63, i7, i9 etc.
nix
Rust friendly bindings to *nix APIs
JonathanWoollett-Light's Repositories
JonathanWoollett-Light/ux2
Non-standard integer types like u7, u9, u10, u63, i7, i9 etc.
JonathanWoollett-Light/a-little-more-than-an-introduction-to
Python code for the manim animations in my youtube series.
JonathanWoollett-Light/language
A formally verified procedural language for systems programming.
JonathanWoollett-Light/aws-ec2
A tool to run commands on AWS EC2 instances.
JonathanWoollett-Light/cimetrics-hello-world
See https://github.com/ci-metrics/cimetrics-hello-world
JonathanWoollett-Light/.github
JonathanWoollett-Light/bidding-system
JonathanWoollett-Light/bun
Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one
JonathanWoollett-Light/cimetrics-script
See https://github.com/ci-metrics/cimetrics-script
JonathanWoollett-Light/community
rust-vmm community content
JonathanWoollett-Light/cv
JonathanWoollett-Light/draw-dag
Draws directed acyclic graphs.
JonathanWoollett-Light/event-manager
JonathanWoollett-Light/example
A demonstration of CI Metrics, a codecov-like mechanism to track CI metrics.
JonathanWoollett-Light/firecracker
Secure and fast microVMs for serverless computing.
JonathanWoollett-Light/formal
JonathanWoollett-Light/JonathanWoollett-Light
JonathanWoollett-Light/log-instrument
JonathanWoollett-Light/mime
MIMEs in Rust
JonathanWoollett-Light/monorepo
Testing rust-vmm moving many crates into 1 repo.
JonathanWoollett-Light/nix
Rust friendly bindings to *nix APIs
JonathanWoollett-Light/notification
JonathanWoollett-Light/pseudos
A little risc-v assembly OS that can run DOOM on a QEMU riscv64 Virt
JonathanWoollett-Light/rustvmm-monorepo
JonathanWoollett-Light/tnkd
A submod for Old World Blues (a mod for Hearts of Iron IV).
JonathanWoollett-Light/tracing-assertions
An assertions framework for Tokio tracing.
JonathanWoollett-Light/tracing-fluent-assertions
A fluent assertions framework for tracing.
JonathanWoollett-Light/tracing-test
Access and evaluate tracing logs in async and sync tests.
JonathanWoollett-Light/vm-memory
Virtual machine's guest memory crate
JonathanWoollett-Light/vmm-sys-util
Helpers and utilities used by multiple rust-vmm components and VMMs