intermezzOS/rfcs external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

intermezzOS/rfcs

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/intermezzOS/rfcs)

Close

intermezzOS / rfcsView on GitHubMore

• External links
• Readme badge

The design of intermezzOS

☆14Jan 16, 2017Updated 9 years ago

Alternatives and similar repositories for rfcs

Users that are interested in rfcs are comparing it to the libraries listed below

• redox-os / orbutils

  View on GitHub
  Mirror of https://gitlab.redox-os.org/redox-os/orbutils
  ☆38Updated this week
• intermezzOS / book

  View on GitHub
  The main docs for intermezzOS
  ☆370Oct 6, 2019Updated 6 years ago
• intermezzOS / vga

  View on GitHub
  A VGA implementation
  ☆15Oct 27, 2016Updated 9 years ago
• dylanmckay / compiler

  View on GitHub
  A [not-really-working] compiler from the ground-up
  ☆11Feb 21, 2018Updated 8 years ago
• dcousens / RayTracer

  View on GitHub
  A Haskell implementation of Andrew Kensler's business card raytracer.
  ☆18Oct 12, 2021Updated 4 years ago
• intermezzOS / bare-bones

  View on GitHub
  a skeleton of the intermezzos kernel
  ☆17Nov 3, 2016Updated 9 years ago
• PistonDevelopers / pluto

  View on GitHub
  Game competition server software for Rust gamedev community
  ☆15Aug 24, 2019Updated 6 years ago
• redox-os / libc

  View on GitHub
  Mirror of https://gitlab.redox-os.org/redox-os/libc
  ☆15Dec 14, 2020Updated 5 years ago
• phil-opp / rustos-experiment

  View on GitHub
  An experimental 64bit single address space operation system kernel in rust.
  ☆13Nov 16, 2015Updated 10 years ago
• jmoy / costlyState

  View on GitHub
  Classroom demonstration of costly state verification in finance
  ☆16Mar 30, 2015Updated 10 years ago
• golddranks / ganbare

  View on GitHub
  A quiz/training app for Japanese learners. Written in Rust.
  ☆15Apr 17, 2023Updated 2 years ago
• redox-os / netstack

  View on GitHub
  Mirror of https://gitlab.redox-os.org/redox-os/netstack
  ☆37Mar 24, 2025Updated 11 months ago
• redox-os / orbclient

  View on GitHub
  Mirror of https://gitlab.redox-os.org/redox-os/orbclient
  ☆33Mar 12, 2026Updated last week
• rusticata / ipsec-parser

  View on GitHub
  IPsec (IKEv2) parser written in rust with nom
  ☆24Sep 16, 2025Updated 6 months ago
• bfops / open-union

  View on GitHub
  Type-safe open unions in Haskell
  ☆32Apr 20, 2018Updated 7 years ago
• aidanhs / ayzim

  View on GitHub
  ☆27Apr 7, 2017Updated 8 years ago
• intermezzOS / kernel

  View on GitHub
  A hobby operating system, in Rust
  ☆1,397Oct 28, 2019Updated 6 years ago
• manuelmeurer / middleman-sitemap-ping

  View on GitHub
  Middleman extension to ping search engines (Google and Bing) with a sitemap URL
  ☆10Dec 29, 2021Updated 4 years ago
• Gabriella439 / Haskell-Total-Library

  View on GitHub
  Exhaustive pattern matching using lenses, traversals, and prisms
  ☆33Sep 4, 2022Updated 3 years ago
• kradical / feOxy

  View on GitHub
  HTML/CSS render engine in Rust.
  ☆20Sep 25, 2017Updated 8 years ago
• durka / unborrow

  View on GitHub
  Rust macro crate used for fighting the borrow checker
  ☆14Jan 20, 2017Updated 9 years ago
• sgrif / diesel_demo

  View on GitHub
  Code from the getting started guide
  ☆10Aug 31, 2016Updated 9 years ago
• puppylinux-woof-CE / initrd_progs

  View on GitHub
  programs, including busybox, statically linked for the initial ram disk
  ☆12Dec 27, 2025Updated 2 months ago
• redox-os / extrautils

  View on GitHub
  Mirror of https://gitlab.redox-os.org/redox-os/extrautils
  ☆30Dec 22, 2025Updated 2 months ago
• muffetlab / kohana

  View on GitHub
  The Kohana PHP framework (originally from Kohana Team)
  ☆12Feb 11, 2026Updated last month
• nicola / node-fxos

  View on GitHub
  Simplify interaction between mankind and FirefoxOS during webapps development
  ☆18Oct 17, 2014Updated 11 years ago
• redox-os / coreutils

  View on GitHub
  Mirror of https://gitlab.redox-os.org/redox-os/coreutils
  ☆257Updated this week
• shift-society / salon

  View on GitHub
  Salon des Refusés - Dialectics for new computer science
  ☆11Feb 6, 2019Updated 7 years ago
• wbthomason / ironkernel

  View on GitHub
  A multi-platform kernel written in Rust
  ☆61Feb 18, 2018Updated 8 years ago
• not-fl3 / awesomium-rs

  View on GitHub
  WIP rust bindings for Awesomium browser
  ☆11Jun 24, 2016Updated 9 years ago
• redox-os / calc

  View on GitHub
  Mirror of https://gitlab.redox-os.org/redox-os/calc
  ☆22Mar 10, 2024Updated 2 years ago
• masonium / linxal

  View on GitHub
  linear algebra package for rust
  ☆38Aug 26, 2017Updated 8 years ago
• gsmnv / weather-rs

  View on GitHub
  Rust CLI weather forecasting tool
  ☆11Dec 28, 2017Updated 8 years ago
• thiagopnts / rustico

  View on GitHub
  Yet another tiny and unfinished x86/ARM kernel
  ☆81Jan 1, 2017Updated 9 years ago
• adolfintel / sine-html5

  View on GitHub
  Free and Open Source Brainwave Entrainment Application (Used to make the SINE Webapp)
  ☆13May 9, 2024Updated last year
• redox-os / installer

  View on GitHub
  Mirror of https://gitlab.redox-os.org/redox-os/installer
  ☆26Mar 11, 2026Updated last week
• Refefer / hf

  View on GitHub
  Haskell version of quickfind
  ☆24Dec 1, 2015Updated 10 years ago
• axic / git-remote-mango

  View on GitHub
  Git remote helper for Mango
  ☆11Dec 11, 2019Updated 6 years ago
• hettiger / seo-aggregator

  View on GitHub
  Generate sitemap.xml and robots.txt files in Laravel or any PHP Application with ease.
  ☆29Jun 28, 2014Updated 11 years ago