An x86-64 kernel with ~100% Rust (originally) in a week. `async` inside!
โ54May 8, 2022Updated 3 years ago
Alternatives and similar repositories for litchi-rs
Users that are interested in litchi-rs are comparing it to the libraries listed below
Sorting:
- Modern OS written in the rust programming languageโ14Jun 25, 2025Updated 8 months ago
- ๐ณ A solution to pingcap/talent-plan, aka "6.824 Lab 2: Raft" and "6.824 Lab 3: Fault-tolerant Key/Value Service" from MIT.โ31Nov 24, 2021Updated 4 years ago
- A `Send` version of `Iterator::chunks`โ20Feb 22, 2026Updated 2 weeks ago
- A heavily commented OS in Rust for reference purposesโ16Jul 8, 2018Updated 7 years ago
- A tiny x86_64 kernel written in Rust.โ84Sep 26, 2022Updated 3 years ago
- Toy operating system written in Rustโ24Jan 6, 2026Updated 2 months ago
- โ12Apr 28, 2021Updated 4 years ago
- ๐ A Rust/Swift-like modern interpreted programming language. First-class functions, first-class expressions, and functional techniques iโฆโ11Mar 2, 2021Updated 5 years ago
- Novelty hybrid micro+mono kernel, designed to achieve extremely low overhead and memory footprint.โ17Feb 9, 2026Updated last month
- levelDB key/value database in Rust.โ11Nov 13, 2021Updated 4 years ago
- The labs of Raft consensus algorithm based on MadSim.โ128Feb 19, 2025Updated last year
- [WIP] A toy C compiler written in Rustโ16Mar 4, 2022Updated 4 years ago
- Toy microkernel and userspace written in Rust, exploring modern ideasโ266Sep 16, 2025Updated 5 months ago
- Very basic os template made with Rustโ35May 10, 2023Updated 2 years ago
- What if everything is a io_uring?โ17Nov 10, 2022Updated 3 years ago
- โ12Aug 12, 2024Updated last year
- The ๅณจ็ (EMei) JIT/AOT backend framework.โ18Nov 19, 2024Updated last year
- Build database expression type checker and vectorized runtime executor in type-safe Rustโ99Jul 8, 2022Updated 3 years ago
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)โ18Jul 24, 2024Updated last year
- โ16Dec 28, 2023Updated 2 years ago
- ๐ฆ๏ธ Operating System in 100% Pure Rustโ102May 8, 2021Updated 4 years ago
- Rust LLVM Practisesโ17Dec 29, 2020Updated 5 years ago
- Programs and Proofs -- Spring 2025 -- IITMโ20May 10, 2025Updated 10 months ago
- A unix domain sockets Rust libraryโ23Aug 10, 2024Updated last year
- P523 Course in Rustโ63Nov 30, 2021Updated 4 years ago
- A port for rocksdbโ103Mar 27, 2022Updated 3 years ago
- Learn Rust dark magics by implementing an expression framework in database systemsโ1,472Aug 9, 2025Updated 7 months ago
- RustTalk ่็ฎ็ญๅโ17Jun 7, 2025Updated 9 months ago
- TCP/IP stack implementationโ18May 11, 2020Updated 5 years ago
- [Archive] An experimental cloud-native distributed KV engine for OLTP workload.โ72Dec 12, 2022Updated 3 years ago
- LevelDB: Rust implementationโ81Aug 12, 2019Updated 6 years ago
- sqlite็้ ่ฏป็ฌ่ฎฐโ24Jan 1, 2023Updated 3 years ago
- An ergonomic, opinionated framework for SQL integration test.โ22Feb 12, 2025Updated last year
- Rich testing for the Go languageโ20Oct 26, 2021Updated 4 years ago
- The formal development repository for Pr47โ21Feb 21, 2023Updated 3 years ago
- Compiler for Tiger language from "Modern Compiler Implementation in ML"โ16Aug 1, 2024Updated last year
- My hobby operating system microkernel written in Rustโ46Sep 15, 2025Updated 5 months ago
- An ordered multimap.โ21Nov 25, 2024Updated last year
- MPIWasm is a WebAssembly Embedder based on Wasmer that enables the high-performance execution of MPI applications compiled to Wasm. (ACM โฆโ20Jan 30, 2024Updated 2 years ago