Homemade OS based on MIT6.828 JOS with a GUI and some new features.
☆44Sep 26, 2017Updated 8 years ago
Alternatives and similar repositories for MOS
Users that are interested in MOS are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆36Mar 28, 2023Updated 3 years ago
- MikanOSをRustで製作したいプロジェクトです☆10Dec 1, 2023Updated 2 years ago
- Group project for 6.035 at MIT. Compiles "Decaf" (simple C-like language without classes) to x86-64 assembly.☆11Feb 18, 2018Updated 8 years ago
- 韦东山驱动开发源代码☆15Jun 24, 2016Updated 9 years ago
- EROFS documentation repo for https://erofs.docs.kernel.org☆20Apr 22, 2026Updated 2 weeks 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.
- 分享一下自学英语的过程☆20Aug 2, 2025Updated 9 months ago
- MIT 6.828 Lab 1-7 / PKU Labs on OS Course Project☆21Jun 17, 2015Updated 10 years ago
- Hoare's CSP examples implemented with Clojure core.async☆63Oct 1, 2013Updated 12 years ago
- An algebra system written in OCaml☆10Sep 20, 2015Updated 10 years ago
- A tool that generates a data structure from a schema and some relational queries, using modern database techniques to make queries highly…☆10Jul 25, 2021Updated 4 years ago
- 自动发送定时微博☆26Feb 19, 2018Updated 8 years ago
- ☆16Dec 23, 2016Updated 9 years ago
- Dependently typed lambda calculus - A Simple Proof Assistant☆12Sep 3, 2020Updated 5 years ago
- ☆24Apr 10, 2022Updated 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.
- 非官方 TiDB 百科，目标收录所有 TiDB 开发/维护/使用过程中可能会碰到的 概念/配置项/其他 等等。☆10Jan 21, 2022Updated 4 years ago
- MOOC讲义☆51Sep 29, 2019Updated 6 years ago
- 用cpp编写的一个实现了最核心功能的YACC,供练习使用.☆10Aug 28, 2017Updated 8 years ago
- GIAC 2019 全球互联网架构大会☆14Feb 28, 2020Updated 6 years ago
- 一个简易的正则表达式引擎!☆10Apr 9, 2017Updated 9 years ago
- OUTDATED patches for running qemu with the MIT 6.828 lab courseware. I believe upstream qemu has equivalent functionality now.☆27Feb 14, 2020Updated 6 years ago
- in a exam, create paper-questions-answers extension for laravel-admin . (快速搭建一张问卷(考卷)题库，包含问题和对应的选项和正确答案。同时提供了友好的考生答题 api )☆14Jan 28, 2019Updated 7 years ago
- A mirror of https://bitbucket.org/ajaustin/hemem/src/sosp-submission/☆27May 3, 2023Updated 3 years ago
- ☆12Nov 27, 2019Updated 6 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.
- HiKoB OpenLab drivers and applications source code☆17Jun 13, 2016Updated 9 years ago
- jOS UEFI bootable 64 bit kernel☆13Sep 19, 2022Updated 3 years ago
- Hadoop Cluster with security☆13Nov 21, 2021Updated 4 years ago
- Java 游戏服务器 仿照网狐内核编写☆14Aug 2, 2015Updated 10 years ago
- GCC port of TM system Mnemosyne☆33Oct 29, 2018Updated 7 years ago
- java-like synchronized blocks in c++☆13Mar 8, 2014Updated 12 years ago
- python 实现的简单的 java 词法和语法分析☆12Jun 21, 2014Updated 11 years ago
- hyperloglog counts things using the HyperLogLog algorithm to estimate cardinality☆33Aug 4, 2022Updated 3 years ago
- 异步调度IP免费代理池☆19Aug 18, 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.
- free-vpns-for-android☆12Jul 23, 2019Updated 6 years ago
- ☆17Oct 24, 2018Updated 7 years ago
- A NoSQL Database for itself.☆19Mar 4, 2018Updated 8 years ago
- Yet Another File System (yfs) based on Paxos algorithm.☆16Oct 22, 2017Updated 8 years ago
- ChampSim repository☆28Mar 6, 2025Updated last year
- serial graphics adapter bios - an option rom to provide legacy serial console for x86, plus my fixes☆15Jul 14, 2009Updated 16 years ago
- A network stack implementation for xv6 OS☆38Dec 12, 2018Updated 7 years ago