Upload a new image (PNG or JPEG, max 5MB) or remove your current avatar.

jonaskruckenberg.de

0 followers 3 following

Vouch for

PUNCHCARD 0 commits

PINNED REPOS
k23-buck2
Rust
23
2
k23
Next Generation WASM Microkernel Operating System

ACTIVITY

2 months ago

created 2 repositories
k23-buck2
Rust
k23
created 24 issues
24 open
#22
Add a weekly canary job that tries the latest nightly toolchain on jonaskruckenberg.de/k23-buck2
#23
Create `.claude/commands/` with stored review prompts on jonaskruckenberg.de/k23-buck2
#19
Add benches for `kspin::Mutex` uncontended/contended paths on jonaskruckenberg.de/k23-buck2
#20
Add benches for `kasync` context switch on jonaskruckenberg.de/k23-buck2
#5
Add `cargo-deny` with license/advisory/duplicate checks on jonaskruckenberg.de/k23-buck2
#12
Add proptest coverage to `arrayvec` against `Vec` oracle on jonaskruckenberg.de/k23-buck2
#14
Add fuzz target for `ecma-119` parser on jonaskruckenberg.de/k23-buck2
#16
Add Kani harness for address arithmetic in `mem-core` on jonaskruckenberg.de/k23-buck2
#2
Add `.github/workflows/nightly.yml` for slow quality-insurance jobs on jonaskruckenberg.de/k23-buck2
#6
Mark crates as miri-compatible and wire a `just miri` CI job on jonaskruckenberg.de/k23-buck2
#15
Add fuzz target for the loader's ELF parsing path on jonaskruckenberg.de/k23-buck2
#21
Add a `reindeer buckify --check` CI job on jonaskruckenberg.de/k23-buck2
#4
Re-enable commented-out lints in workspace config on jonaskruckenberg.de/k23-buck2
#3
Verify and fix that `[workspace.lints]` is unenforced under Buck2 on jonaskruckenberg.de/k23-buck2
#17
Wire `cargo-mutants` into nightly CI for leaf crates on jonaskruckenberg.de/k23-buck2
#1
Restore GitHub Actions CI with a minimal workflow on jonaskruckenberg.de/k23-buck2
#7
Fix dead `run_env` in `loom_test` macro on jonaskruckenberg.de/k23-buck2
#9
Add loom tests to `cpu-local` on jonaskruckenberg.de/k23-buck2
#8
Add loom tests to `sharded-slab` on jonaskruckenberg.de/k23-buck2
#10
Add proptest round-trip coverage to `ecma-119` on jonaskruckenberg.de/k23-buck2
#11
Add proptest round-trip coverage to `fdt` on jonaskruckenberg.de/k23-buck2
#13
Add fuzz target for `fdt` parser on jonaskruckenberg.de/k23-buck2
#18
Build a deterministic QEMU smoke test for riscv64 boot on jonaskruckenberg.de/k23-buck2
#64
add default setting for "Submit as stacked PRs" on tangled.org/core
created 2 pull requests
2 open
#2
Basic UEFI infrastructure (non functional) on jonaskruckenberg.de/k23-buck2
#1
Revert "debugger rule" on jonaskruckenberg.de/k23-buck2