my solution for MIT 6.828 Fall 2014
☆16Oct 30, 2016Updated 9 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
- JOS - MIT 6.828 Operating System Engineering 2016☆70Mar 4, 2017Updated 9 years ago
- kafka client prometheus collector☆10Mar 22, 2021Updated 5 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.
- LLVM Cool Compiler (because why not)☆10Feb 10, 2017Updated 9 years ago
- Mining Error-Handling Bugs without Error Specification Input☆15Jan 13, 2020Updated 6 years ago
- Some C++ utilities☆10Oct 25, 2015Updated 10 years ago
- 用c语言写的dbproxy☆36Aug 4, 2021Updated 5 years ago
- typical zookeeper application☆17Aug 30, 2018Updated 8 years ago
- Learning Kafka☆13Apr 18, 2016Updated 10 years ago
- Tool for detecting error handling bugs☆23Sep 11, 2016Updated 10 years ago
- A virtio layer for xv6☆12Apr 16, 2019Updated 7 years ago
- 从paxos到zookeeper 分布式一致性原理与实践 源码☆13Oct 23, 2017Updated 8 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.
- 基于kafka 实现的java版时间轮☆14May 15, 2020Updated 6 years ago
- ForAlign is a two-step algorithm designed for TLS-DLS(ULS) forest point cloud registration.☆14Feb 12, 2025Updated last year
- 基于netty解析binlog☆16Jan 10, 2018Updated 8 years ago
- xv6 ported to x86_64.☆10Jan 9, 2021Updated 5 years ago
- Code for "FF-LOGO: Cross-Modality Registration with Feature Filtering and Local to Global Optimization"☆11Sep 14, 2023Updated 3 years ago
- Feasibility research for using kind to support e2e tests for kubebuilder(v2)-generated Kubernetes operators.☆13Jul 1, 2019Updated 7 years ago
- a simple rpc framework☆16Nov 13, 2016Updated 9 years ago
- Spark学习的一个项目☆15Mar 3, 2019Updated 7 years ago
- A Mini Linux-like Operating System.☆203Jan 9, 2022Updated 4 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- [mirror] Yggdrasil kernel - x86-64 Unix-like kernel☆14Nov 20, 2020Updated 5 years ago
- Official implementation of paper "Mapping in a cycle: Sinkhorn regularized unsupervised learning for point cloud shapes"☆14Sep 14, 2020Updated 6 years ago
- ☆18Mar 28, 2025Updated last year
- stanford introduction to computer networking labs☆15Sep 5, 2018Updated 8 years ago
- ☆28Oct 24, 2021Updated 4 years ago
- The code for PosDiffNet☆14Feb 27, 2026Updated 7 months ago
- A compiler for higher rank ML with type classes☆13Aug 29, 2020Updated 6 years ago
- PointRCNN: 3D Object Proposal Generation and Detection from Point Cloud☆13Jan 26, 2020Updated 6 years ago
- Iterative Feedback Network for Unsupervised Point Cloud Registration (RAL 2024)☆20Mar 8, 2024Updated 2 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.
- Lox tree-walking interpreter written in Swift - Based on Part II of Bob Nystrom's Book "Crafting Interpreters"☆12Apr 7, 2018Updated 8 years ago
- 最全的资源教程-前端涉及的所有知识体系☆25Mar 22, 2016Updated 10 years ago
- x64 smp operating system☆13Feb 13, 2020Updated 6 years ago
- Xv6 is a teaching operating system developed in the summer of 2006 for MIT's operating systems course, 6.828: operating systems Engineeri…☆192Nov 25, 2012Updated 13 years ago
- Stack machine simulation☆14Sep 25, 2012Updated 14 years ago
- Linux Security Module Stacking☆10Aug 27, 2026Updated last month
- 自己的一些瞎写的leetcode题，数据结构，算法等等☆18Dec 14, 2021Updated 4 years ago