Lists (1)
Starred repositories
Updated versions of old Sun docbooks for illumos
cuda-oxide is an experimental Rust-to-CUDA compiler that lets you write (SIMT) GPU kernels in safe(ish), idiomatic Rust. It compiles standard Rust code directly to PTX — no DSLs, no foreign languag…
Fast Assessment Laboratory for Computers On Networks
Review-first terminal diff viewer for agentic coders
packets go in, packets go out, you can't explain that
Oxide boot image tools and DLPI-based network boot server
Build bootable illumos disk images from IPS repositories
A lightweight, memory-protected, message-passing kernel for deeply embedded systems.
Crates shared between MGS in omicron and its agent task in hubris
A dotfile manager and templater written in rust 🦀
An Agile RISC-V SoC Design Framework with in-order cores, out-of-order cores, accelerators, and more
Bayesian optimization in PyTorch
Aix: Efficiently storing and querying chess game collections
a hierarchical spaced-repetition system for learning structurally related materials.
Fully defined liberty (std. cells in VLSI) data structure, efficient parser & formatter
A type-safe, formally verifiable HDL compiler in Lean 4. Inspired by Clash, built for high-assurance hardware synthesis.
Low Level Hardware Description — A foundation for building hardware design tools.