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
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:
- An MIT teaching OS☆44Jun 13, 2010Updated 15 years ago
- JOS lab, MIT 6.828 Operating System Engineering☆406Mar 12, 2024Updated 2 years ago
- jos是mit6.828课程所用的操作系统，此处记录7个Lab的学习笔记。☆158Sep 14, 2018Updated 7 years ago
- The source of lab and assignment for 6.828 of MIT☆178May 14, 2016Updated 9 years ago
- Unix环境高级编程学习笔记☆13Jul 20, 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.
- My solutions for labs of JOS(2014 version Operating System) 请勿抄袭，仅做技术交流参考☆15Feb 15, 2017Updated 9 years ago
- A Unix-like POSIX-compatible operating system.☆17Aug 18, 2017Updated 8 years ago
- 一些代码和资料，主要是为了方便自己查找和知识整理☆18Feb 4, 2024Updated 2 years ago
- Crates.io's index as a web app.☆14Sep 20, 2015Updated 10 years ago
- mirror of the source code of the Xv6 operating system☆482Jun 13, 2023Updated 2 years ago
- A GPGPU library with OpenGL. Intended to be cross platform as possible using the Transform Feedback API.☆10Jul 30, 2018Updated 7 years ago
- The implementation of MIT's 6.828 Operating System Engineering☆41May 16, 2016Updated 9 years ago
- XMind application packaged into RPM (for Fedora)☆10Dec 9, 2020Updated 5 years ago
- MIT 6.824 2016☆156Aug 16, 2018Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Writing a 32-bit Protected Mode OS in NASM☆13Jun 22, 2012Updated 13 years ago
- A MiniJava compiler written in Rust.☆29Jan 12, 2024Updated 2 years ago
- chef cookbook to install Apache Spark☆10Jul 17, 2015Updated 10 years ago
- A general-purpose write-ahead log☆25Dec 3, 2018Updated 7 years ago
- Deprecated, please use the official docs at https://doc.rust-lang.org/nightly/nightly-rustc☆24Mar 19, 2019Updated 7 years ago
- Proof of concept prototype to perform distributed training using BVLC/caffe, based on a parameter server implementation using MPI. Data p…☆13May 7, 2015Updated 10 years ago
- Roman Hitman answer☆17Feb 8, 2016Updated 10 years ago
- ☆23Jan 27, 2014Updated 12 years ago
- Implementation of the Barnes-Hut algorithm in C++☆12Jul 8, 2011Updated 14 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Exokernel is one of the major sources for container and library OS techniques.☆45Apr 5, 2022Updated 4 years ago
- ccNVMe: crash consistent non-volatile memory express☆14Aug 17, 2021Updated 4 years ago
- Carrefour runtime. Uses harwdare counters to decide whether Carrefour needs to be run or not.☆16Sep 29, 2015Updated 10 years ago
- B+tree database☆15Mar 11, 2014Updated 12 years ago
- Sequential and parallel GEMM implementations with C interface + Benchmark.☆12May 24, 2016Updated 9 years ago
- Decuda and cudasm, the CUDA binary utilities package. Low-level tools for NVidia G80 GPUs.☆106Jul 24, 2010Updated 15 years ago
- A simple ARM/x86(_64) static linker☆45Mar 9, 2023Updated 3 years ago
- VMware Fusion workflow for Alfred 2☆10Apr 23, 2014Updated 11 years ago
- The Redis protocol on top of LevelDB, written in Go (WIP)☆58Jan 4, 2014Updated 12 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.
- ☆22Mar 11, 2016Updated 10 years ago
- A multi-platform docker container of logrotate, can be used as a sidecar☆17Apr 23, 2024Updated last year
- 6.824: Distributed Systems in MIT☆57Apr 23, 2013Updated 12 years ago
- RAMpage -- An online memory tester for Linux☆14Feb 15, 2022Updated 4 years ago
- Display Markdown formatted documents on your local web server using GitHub's Markdown rendering API and CSS to mimic the visuals of GitHu…☆21Jan 30, 2022Updated 4 years ago
- Custom fork containing our own python backend for integration into neon☆15Jan 3, 2023Updated 3 years ago
- A distributed filesystem☆10Jan 31, 2017Updated 9 years ago