KaminariOS
Ray-tracing for fun, systems for real. In Rust we trust.
The University of North Carolina at Chapel HillChapel Hill
KaminariOS's Stars
capablevms/cheri-examples
CHERI sample C programs
m4b/goblin
An impish, cross-platform binary parsing crate, written in Rust
nebulet/nebulet
A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.
khonsulabs/nebari
A pure Rust database implementation using an append-only B-Tree file format.
nimrodshn/btree
A persistent B+Tree (clustered index) implementation in Rust.
wspeirs/btree
On-Disk B+ Tree implemented in Rust
sparshg/fuzzy-controller
Fuzzy Controller to fly a simulated drone
oreboot/oreboot
oreboot is a fork of coreboot, with C removed, written in Rust.
khonsulabs/bonsaidb
A developer-friendly document database that grows with you, written in Rust
HUST-OS/tornado-os
异步内核就像风一样快!
johnthagen/min-sized-rust
🦀 How to minimize Rust binary size 📦
sorpaas/rux
A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.
rust-embedded/riscv
Low level access to RISC-V processors
feldera/feldera
The Feldera Incremental Computation Engine
spacedriveapp/spacedrive
Spacedrive is an open source cross-platform file explorer, powered by a virtual distributed filesystem written in Rust.
rust-osdev/bootloader
An experimental pure-Rust x86 bootloader
graymalkin/morello-capability-rs
Library to interact with Morello Capabilities through Rust
kent-weak-memory/rust-benchmarking-scripts
Automated benchmarks used to generate data for the Rust for Morello paper
lotabout/skim
Fuzzy Finder in rust!
apache/datafusion-sqlparser-rs
Extensible SQL Lexer and Parser for Rust
phiresky/ripgrep-all
rga: ripgrep, but also search in PDFs, E-Books, Office documents, zip, tar.gz, etc.
KaminariOS/neovim-flake
A highly modular, extensible and distro agonistic neovim distribution for the nix package manager.
KaminariOS/nixpkgs
fufexan/dotfiles
NixOS system config & Home-Manager user config
lambdaclass/cairo-vm
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
lsd-rs/lsd
The next gen ls command
skyzh/mini-lsm
A tutorial of building an LSM-Tree storage engine in a week.
kata-containers/kata-containers
Kata Containers is an open source project and community working to build a standard implementation of lightweight Virtual Machines (VMs) that feel and perform like containers, but provide the workload isolation and security advantages of VMs. https://katacontainers.io/
cloud-hypervisor/cloud-hypervisor
A Virtual Machine Monitor for modern Cloud workloads. Features include CPU, memory and device hotplug, support for running Windows and Linux guests, device offload with vhost-user and a minimal compact footprint. Written in Rust with a strong focus on security.
firecracker-microvm/firecracker
Secure and fast microVMs for serverless computing.