A faithful port of the 32-bit xv6 learner's operating system to the Rust programming language
☆19Oct 25, 2018Updated 7 years ago
Alternatives and similar repositories for xv6-rust
Users that are interested in xv6-rust are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- (wip) re-implementation xv6 in rust☆16Dec 13, 2018Updated 7 years ago
- The UNIX v6 shell, written idiomatically in Rust.☆20Dec 6, 2015Updated 10 years ago
- A Haskell library for compile-time checked literal values, via QuasiQuoters.☆13Sep 20, 2021Updated 4 years ago
- Japanese Translation of Monads are Elephants☆11Oct 19, 2011Updated 14 years ago
- SunOS 4.1.4 (also known as Solaris 1.1.2) source code I don't know the origin☆22Oct 11, 2021Updated 4 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 SunOS 3.4 source code. An very rare find!☆22Jan 4, 2023Updated 3 years ago
- FPGA implementations of the PDP-6 and PDP-10☆26Apr 7, 2021Updated 5 years ago
- ☆27Sep 29, 2018Updated 7 years ago
- Dafny for Metatheory of Programming Languages☆29Feb 6, 2026Updated 5 months ago
- A simple 68K virtual platform for FUZIX bring up and similar purposes☆21Jan 21, 2025Updated last year
- NeXTStep and OpenStep patches for various open source software☆19Jul 8, 2019Updated 7 years ago
- Higher kinded data in Scala☆21Mar 23, 2025Updated last year
- :fork command for ghci☆20Jan 7, 2019Updated 7 years ago
- A port of Minix 3 to the Raspberry PI☆20Sep 2, 2014Updated 11 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ros3fs is a Linux FUSE adapter for AWS S3 and S3 compatible object storages.☆14Oct 19, 2023Updated 2 years ago
- Very Fast HTTP Parser☆15Dec 22, 2018Updated 7 years ago
- Hadoop Cluster with security☆13Nov 21, 2021Updated 4 years ago
- Bare metal programming experiments for 68040-based NeXT systems☆12Sep 12, 2022Updated 3 years ago
- Following the same workflows as Kubernetes. Widely used in InftyAI community.☆13May 31, 2026Updated last month
- Deducing Tock execution flows from Ibex Verilator traces☆70Jun 17, 2022Updated 4 years ago
- xv6 OS with TCP/IP Network Stack☆126Aug 25, 2020Updated 5 years ago
- A Functional Reactive Programming framework for Scala☆13Mar 12, 2013Updated 13 years ago
- ☆15Oct 7, 2019Updated 6 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.
- A Bare-Metal Intel 8086 Emulator Written in Raw WebAssembly.☆34Jun 13, 2024Updated 2 years ago
- Another Lexer Parser And Compiler Alpaca. A type-safe lexer and parser library for Scala 3, featuring compile-time validation and a patte…☆17Updated this week
- Source code of Research Unix v8, released by The Unix Heritage Society.☆19Jun 27, 2019Updated 7 years ago
- Management multiple CloudOS.☆14Jun 24, 2017Updated 9 years ago
- What if salsa but tokio-friendly☆51Jun 18, 2026Updated last month
- bugspots for subversion☆15Jan 17, 2012Updated 14 years ago
- ☆37Sep 17, 2022Updated 3 years ago
- Port of uCLinux for the Mackerel-68k | Deprecated, see: https://github.com/crmaykish/mackerel-linux☆11Jun 3, 2026Updated last month
- Switche - A Searchable Windows Task Switcher☆24Jun 22, 2025Updated last year
- 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.
- ☆12Oct 3, 2020Updated 5 years ago
- UART Communication Protocol, support all platform☆11Feb 24, 2026Updated 4 months ago
- The UNIX System V Release 4 source code for the AT&T 3B2☆16Nov 5, 2022Updated 3 years ago
- Lambda syntax for Scala EDSLs☆27Sep 18, 2023Updated 2 years ago
- Restoring a lesser-known Unix System V Release 4/i386 distribution from the early 90s☆16Dec 12, 2024Updated last year
- An Experimental LISP☆20Jul 14, 2022Updated 4 years ago
- Large-Scale Graph Inference☆12Nov 6, 2024Updated last year