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 5 years ago
- Japanese Translation of Monads are Elephants☆11Oct 19, 2011Updated 14 years ago
- A network stack implementation for xv6 OS☆37Dec 12, 2018Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- The SunOS 3.4 source code. An very rare find!☆22Jan 4, 2023Updated 3 years ago
- My experiment about implementing Row Polymorphism in current Haskell☆16Dec 9, 2018Updated 7 years ago
- FPGA implementations of the PDP-6 and PDP-10☆26Apr 7, 2021Updated 5 years ago
- Projects of CS-537: Intro to Operating Systems (Spring 2019) at University of Wisconsin-Madison using xv6 Operating System☆21May 16, 2019Updated 7 years ago
- Dafny for Metatheory of Programming Languages☆29Feb 6, 2026Updated 7 months ago
- A library for generating flow type signatures for direct interop between PureScript and Flow. Similar to OhYes☆19Dec 22, 2017Updated 8 years ago
- A simple 68K virtual platform for FUZIX bring up and similar purposes☆21Jan 21, 2025Updated last year
- 「ちいさな Web ブラウザを作ってみよう」https://browserbook.shift-js.info の管理用リポジトリ☆25May 24, 2024Updated 2 years ago
- Higher kinded data in Scala☆21Mar 23, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- :fork command for ghci☆20Jan 7, 2019Updated 7 years ago
- Rust IP Stack - A userspace IP stack written in Rust (Work in progress)☆25May 17, 2018Updated 8 years ago
- ros3fs is a Linux FUSE adapter for AWS S3 and S3 compatible object storages.☆14Oct 19, 2023Updated 2 years ago
- Drone plugin to deploy a project to Firebase.☆13Jul 2, 2016Updated 10 years ago
- in a exam, create paper-questions-answers extension for laravel-admin . (快速搭建一张问卷(考卷)题库，包含问题和对应的选项和正确答案。同时提供了友好的考生答题 api )☆14Jan 28, 2019Updated 7 years ago
- Very Fast HTTP Parser☆15Dec 22, 2018Updated 7 years ago
- Hadoop Cluster with security☆13Nov 21, 2021Updated 4 years ago
- 带有详细注释的XV6源码☆10Dec 8, 2019Updated 6 years ago
- A free implementation of DCE RPC, with development aimed at implementing DCOM for Linux (and other UNIX systems).☆10Sep 5, 2013Updated 13 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- This is the repository for the transpiler to compile Verilog to C++ code with TFHE library.☆18Apr 25, 2020Updated 6 years ago
- ☆29Nov 26, 2020Updated 5 years ago
- Deducing Tock execution flows from Ibex Verilator traces☆70Jun 17, 2022Updated 4 years ago
- xv6 OS with TCP/IP Network Stack☆126Aug 25, 2020Updated 6 years ago
- ☆12Nov 27, 2019Updated 6 years ago
- 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…☆19Updated this week
- ☆40Jun 13, 2015Updated 11 years ago
- jOS UEFI bootable 64 bit kernel☆13Sep 19, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Source code of Research Unix v8, released by The Unix Heritage Society.☆19Jun 27, 2019Updated 7 years ago
- A list of RSS feeds of the most dedicated Rust bloggers featured on This Week In Rust.☆22May 18, 2018Updated 8 years ago
- Management multiple CloudOS.☆14Jun 24, 2017Updated 9 years ago
- Vagrant for Hadoop☆13Jan 13, 2016Updated 10 years ago
- What if salsa but tokio-friendly☆52Jun 18, 2026Updated 3 months ago
- A lightweight panel/taskbar written in Python and C for X11 window managers☆15Oct 19, 2013Updated 12 years ago
- Homebrew formulae for everything Troff and man page related.☆26Feb 16, 2026Updated 7 months ago