my solution for MIT 6.828 Fall 2014
☆16Oct 30, 2016Updated 10 years ago
Alternatives and similar repositories for jos
Users that are interested in 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:
- levi-db is a fast database engine☆35May 11, 2018Updated 8 years ago
- Mirror of the Xen Repository (PRs not accepted see: http://wiki.xenproject.org/wiki/Submitting_Xen_Project_Patches)☆17Sep 12, 2017Updated 9 years ago
- 使用WebGL和Node.js技术构建复旦三维社交网络。目前实现了校园模型demo显示，多用户在线聊天。☆12Jun 12, 2015Updated 11 years ago
- React + Express + Mongoose + Nodejs + webpack☆10Sep 13, 2017Updated 9 years ago
- The implementation of algorithms & data structures of Introduction to Algorithms 2nd☆12Sep 10, 2016Updated 10 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- JOS - MIT 6.828 Operating System Engineering 2016☆70Mar 4, 2017Updated 9 years ago
- POI微信小程序☆12Sep 12, 2018Updated 8 years ago
- Repo containing problem set solutions and other resources associated with Stanford’s course CS224d: Deep Learning for Natural Language Pr…☆15Jan 22, 2017Updated 9 years ago
- A toy OS☆56Aug 14, 2016Updated 10 years ago
- An automatic API misuse checker for C programs!☆19Apr 3, 2019Updated 7 years ago
- A data dependence analyzer for C program☆20Jan 23, 2022Updated 4 years ago
- LLVM Cool Compiler (because why not)☆10Feb 10, 2017Updated 9 years ago
- Some C++ utilities☆10Oct 25, 2015Updated 11 years ago
- A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators☆17Jan 7, 2023Updated 3 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.
- 用c语言写的dbproxy☆36Aug 4, 2021Updated 5 years ago
- typical zookeeper application☆17Aug 30, 2018Updated 8 years ago
- Dropwizard Metrics Demo☆15Aug 1, 2015Updated 11 years ago
- WebSandbox.js Examples☆14Mar 24, 2023Updated 3 years ago
- A C linux programming experiment to make a client/server chat room.☆14Dec 8, 2014Updated 11 years ago
- An action-based game engine in Direct 3D☆12Nov 30, 2018Updated 7 years ago
- 基于netty解析binlog☆16Jan 10, 2018Updated 8 years ago
- 基于kafka 实现的java版时间轮☆14May 15, 2020Updated 6 years ago
- Simple Android Notepad☆15Oct 30, 2017Updated 9 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.
- An example expert system for CS 428☆11Nov 8, 2011Updated 14 years ago
- MIT 6.824 2018 lab. MIT6.824分布式系统（2018秋）☆86Sep 3, 2021Updated 5 years ago
- Self-Supervised Image-to-Point Distillation via Semantically Tolerant Contrastive Loss (CVPR 2023)☆12Jun 13, 2024Updated 2 years ago
- It‘s springboot starter tutorial, including my open source project springboot starters☆16Feb 3, 2018Updated 8 years ago
- Code for "FF-LOGO: Cross-Modality Registration with Feature Filtering and Local to Global Optimization"☆11Sep 14, 2023Updated 3 years ago
- Decision Tree implementation in Python for EECS 349, based on C4.5 algorithm.☆10Feb 12, 2016Updated 10 years ago
- [CVPR-2025] HeMoRa: Unsupervised Heuristic Consensus Sampling for Robust Point Cloud Registration☆12Mar 23, 2025Updated last year
- MIT 6.824☆12Feb 20, 2017Updated 9 years ago
- xv6 ported to x86_64.☆10Jan 9, 2021Updated 5 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.
- Built with node.js(express.js) and mysql on the server-side and Android Volley HTTP library on the client side for transmitting network d…☆10Dec 2, 2014Updated 11 years ago
- Compiler for COOL. Uses ANTLR and LLVM Toolchain. Written in JAVA.☆46Feb 7, 2016Updated 10 years ago
- x64 smp operating system☆13Feb 13, 2020Updated 6 years ago
- A Mini Linux-like Operating System.☆204Jan 9, 2022Updated 4 years ago
- Spark学习的一个项目☆15Mar 3, 2019Updated 7 years ago
- Use features of rejected PEPs☆11Oct 11, 2019Updated 7 years ago
- Pure Type Systems☆12Jul 31, 2020Updated 6 years ago