Jonathan Woollett-Light (JonathanWoollett-Light)

JonathanWoollett-Light

Geek Repo

Company:@aws

Location:United Kingdom

Home Page:https://jonathanwoollett-light.github.io/cv/

Github PK Tool:Github PK Tool

Jonathan Woollett-Light's repositories

ux2

Non-standard integer types like u7, u9, u10, u63, i7, i9 etc.

Language:RustLicense:Apache-2.0Stargazers:10Issues:1Issues:4

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.

a-little-more-than-an-introduction-to

Python code for the manim animations in my youtube series.

Language:PythonStargazers:2Issues:2Issues:0

language

A formally verified procedural language for systems programming.

aws-ec2

A tool to run commands on AWS EC2 instances.

cimetrics-hello-world

See https://github.com/ci-metrics/cimetrics-hello-world

Language:RustStargazers:1Issues:1Issues:0
Stargazers:0Issues:0Issues:0
Language:RustStargazers:0Issues:1Issues:0

bun

Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one

Language:ZigLicense:NOASSERTIONStargazers:0Issues:0Issues:0

cimetrics-script

See https://github.com/ci-metrics/cimetrics-script

Language:PythonLicense:Apache-2.0Stargazers:0Issues:1Issues:0

community

rust-vmm community content

Stargazers:0Issues:0Issues:0
Language:HTMLStargazers:0Issues:0Issues:0

draw-dag

Draws directed acyclic graphs.

Language:RustStargazers:0Issues:1Issues:0
Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

example

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

Language:RustStargazers:0Issues:0Issues:0

firecracker

Secure and fast microVMs for serverless computing.

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:8
Language:ShellLicense:UnlicenseStargazers:0Issues:0Issues:0
Language:RustStargazers:0Issues:1Issues:0
Stargazers:0Issues:2Issues:0
Language:RustStargazers:0Issues:1Issues:2

monorepo

Testing rust-vmm moving many crates into 1 repo.

Language:RustStargazers:0Issues:1Issues:0

nix

Rust friendly bindings to *nix APIs

Language:RustLicense:MITStargazers:0Issues:0Issues:0
Language:RustStargazers:0Issues:1Issues:0

pseudos

A little risc-v assembly OS that can run DOOM on a QEMU riscv64 Virt

Language:AssemblyStargazers:0Issues:0Issues:0
Language:RustStargazers:0Issues:0Issues:0

tnkd

A submod for Old World Blues (a mod for Hearts of Iron IV).

Language:AMPLStargazers:0Issues:0Issues:0

tracing-assertions

An assertions framework for Tokio tracing.

Language:RustStargazers:0Issues:0Issues:0

tracing-fluent-assertions

A fluent assertions framework for tracing.

License:MITStargazers:0Issues:0Issues:0

vm-memory

Virtual machine's guest memory crate

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

vmm-sys-util

Helpers and utilities used by multiple rust-vmm components and VMMs

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0