MIT JOS 6.828 2011
☆22Jul 28, 2012Updated 14 years ago
Alternatives and similar repositories for mit-jos
Users that are interested in mit-jos are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Oct 20, 2020Updated 5 years ago
- An MIT teaching OS☆43Jun 13, 2010Updated 16 years ago
- 协作小说连载☆17Jun 22, 2020Updated 6 years ago
- Because of request from csail.mit.edu, I've removed MIT-OS 2011 6.828 - All of JOS Lab practices.☆77Sep 12, 2017Updated 8 years ago
- 🍔 Chen’s Private Cuisine Menu☆10Jan 4, 2026Updated 7 months 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.
- ☆10Mar 8, 2025Updated last year
- Play code with online playgrounds☆13Mar 22, 2020Updated 6 years ago
- Small Unix like operating system written in C, for i386 (PC) CPU☆11Apr 3, 2018Updated 8 years ago
- VMware Fusion workflow for Alfred 2☆10Apr 23, 2014Updated 12 years ago
- Code from CS152 lectures☆14Apr 13, 2026Updated 4 months ago
- Stronger types for a few Typed Racket operators☆11Jan 25, 2024Updated 2 years ago
- Design and Implementation of kernel level threads for xv6 operating system. Adding system call related to threading environment in xv6 al…☆29May 3, 2021Updated 5 years ago
- A Redex tutorial with a focus on how to do work in Redex☆11Oct 21, 2024Updated last year
- Simple implementation of ST LC type checker in Haskell☆13Apr 18, 2022Updated 4 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.
- Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.☆11Apr 3, 2026Updated 4 months ago
- ☆17Apr 4, 2024Updated 2 years ago
- A Coq plugin to disable positivity check, guard check and termination check☆16Nov 2, 2019Updated 6 years ago
- ☆12Jul 20, 2022Updated 4 years ago
- a simple operating system☆10May 10, 2015Updated 11 years ago
- A very little language☆16Jul 1, 2023Updated 3 years ago
- Theorem Proving in Emacs☆12Aug 18, 2025Updated 11 months ago
- Code used for VLDB paper "The next 50 Years in Database Indexing or: The Case for Automatically Generated Index Structures"☆14Mar 31, 2022Updated 4 years ago
- Last Writer Slicing: data provenance tracking for concurrent program debugging & analysis☆13Nov 14, 2014Updated 11 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.
- A simple first person shooter, built in WebGL.☆12Jan 26, 2017Updated 9 years ago
- Official code of our work, VCSR: Mutable CSR Graph Format Using Vertex-Centric Packed Memory Array [CCGrid 2022].☆14Jun 30, 2022Updated 4 years ago
- ☆19Aug 30, 2021Updated 4 years ago
- Launches ".com" programs on arduino☆11Mar 15, 2021Updated 5 years ago
- Portable C Compiler (CVS mirror)☆12Apr 9, 2012Updated 14 years ago
- The LTTng CI infrastructure configuration☆12Aug 6, 2026Updated last week
- Video Effects on VGA☆15Jan 7, 2019Updated 7 years ago
- ☆12Oct 16, 2021Updated 4 years ago
- NUMA-aware parallel packed CSR data structure for large-scale dynamic graph data☆14May 11, 2026Updated 3 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- 8-bit virtual computer☆13Aug 26, 2019Updated 6 years ago
- Port of Scintilla to FLTK☆11Jun 24, 2018Updated 8 years ago
- HTTP Keyserver Protocol (HKP) handlers☆12Apr 25, 2018Updated 8 years ago
- ☆10Nov 28, 2023Updated 2 years ago
- waccOS, an operating system kernel written in WACC.☆13Mar 8, 2019Updated 7 years ago
- Software and Hardware Characterization of Streaming Graph Analytics Workloads☆14Aug 15, 2022Updated 3 years ago
- Source code for KAIS (2023) paper "Temporal Hypergraph Motifs" and ICDM 2021 paper "THyMe+: Temporal Hypergraph Motifs and Fast Algorithm…☆14Feb 18, 2023Updated 3 years ago