(wip) re-implementation xv6 in rust
☆16Dec 13, 2018Updated 7 years ago
Alternatives and similar repositories for xv6-rs
Users that are interested in xv6-rs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- O'Reilly Japan - コンピュータシステムの理論と実装 https://www.oreilly.co.jp/books/9784873117126/☆19Nov 23, 2020Updated 5 years ago
- Drivers for Seeed Studio's eRPC-based wifi protocol☆12Jun 28, 2025Updated last year
- Checker for translated mdbook☆15Feb 12, 2026Updated 4 months ago
- A Rust firmware for mechanical keyboards using the Teensy 3.2☆11Dec 15, 2018Updated 7 years ago
- LMC emulator written in Rust☆38Jun 6, 2022Updated 4 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ros3fs is a Linux FUSE adapter for AWS S3 and S3 compatible object storages.☆14Oct 19, 2023Updated 2 years ago
- Japanese Translation of Monads are Elephants☆11Oct 19, 2011Updated 14 years ago
- xv6のテキスト(book-rev6.pdf)を超適当翻訳してPDF化したもの☆28Jul 19, 2013Updated 12 years ago
- rust + lindera + webassembly + next.js + typescriptで形態素解析するサンプル☆41Dec 18, 2020Updated 5 years ago
- High performance FID (Fully Indexable Dictionary) library☆26Jul 19, 2024Updated last year
- Rust binding of LovyanGFX☆11Feb 9, 2024Updated 2 years ago
- "saibos" is a toy OS written in Rust☆21Aug 16, 2021Updated 4 years ago
- 手を動かせばできるLLVMバックエンド チュートリアル(WIP)☆43May 12, 2022Updated 4 years ago
- Instruction set simulator for RISC-V☆55Jul 25, 2020Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- The uncurried minimal functional programming language for CPS transformation☆19Feb 23, 2024Updated 2 years ago
- Staging area for new benchmarking infrastructure for Scala Native.☆16Nov 1, 2023Updated 2 years ago
- hypervisorなmemo☆13Jul 1, 2019Updated 7 years ago
- This is a Docker image project with CentOS 7, Elixir, and Phoenix.☆12Sep 11, 2016Updated 9 years ago
- A Go client for Crowi APIs☆15Aug 9, 2017Updated 8 years ago
- 「ちいさな Web ブラウザを作ってみよう」https://browserbook.shift-js.info の管理用リポジトリ☆25May 24, 2024Updated 2 years ago
- TinyLinux mini linux kernel implmentation from scratch☆145Dec 5, 2016Updated 9 years ago
- ☆11Oct 27, 2017Updated 8 years ago
- Raspberry Pi version of Haribote OS☆58Dec 10, 2017Updated 8 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Swift library for manipulating postal codes.☆16Jul 6, 2018Updated 8 years ago
- A prototype embedded operating system written in Rust☆62Feb 5, 2022Updated 4 years ago
- Z80 CPU REPL environment☆28Sep 5, 2018Updated 7 years ago
- Rust implementation of ESP32 NVS partition generator.☆14Oct 15, 2025Updated 8 months ago
- ☆15Mar 21, 2020Updated 6 years ago
- Ghost - Build REST APIs from structs using Generics☆19Jun 14, 2022Updated 4 years ago
- Linux network namespace sysctl safety verifier.☆11Jun 20, 2021Updated 5 years ago
- x86 emulator in Rust☆40Jul 17, 2021Updated 4 years ago
- Logical inference system based on event semantics and degree semantics in formal semantics☆10Jan 22, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- RISC-VのCPU作った☆20Oct 21, 2019Updated 6 years ago
- A Functional Reactive Programming framework for Scala☆13Mar 12, 2013Updated 13 years ago
- A Haskell port of the C++ smallpt path tracer☆16Dec 14, 2020Updated 5 years ago
- astquery select a node set from AST by XPath☆20Aug 23, 2020Updated 5 years ago
- Haskell x Android☆25Sep 18, 2022Updated 3 years ago
- Unofficial reference Wasm interpreter written in C☆39Dec 4, 2023Updated 2 years ago
- A Formal Verification of Algorithm W☆17Mar 10, 2021Updated 5 years ago