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☆36May 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 8 years ago
- JOS - MIT 6.828 Operating System Engineering 2016☆70Mar 4, 2017Updated 9 years ago
- The implementation of algorithms & data structures of Introduction to Algorithms 2nd☆12Sep 10, 2016Updated 9 years ago
- Mastering Xamarin UI Development - Second Edition, published by Packt☆11Dec 8, 2022Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A toy OS☆56Aug 14, 2016Updated 10 years ago
- An automatic API misuse checker for C programs!☆19Apr 3, 2019Updated 7 years ago
- Final Project for Parallel Computing at CMU (15-618/15-418)☆10May 13, 2016Updated 10 years ago
- Let's learn gradient descent by using linear regression, logistic regression and neural networks!☆12Jan 14, 2019Updated 7 years ago
- Materials for Probability Theory and Modelling☆14Apr 30, 2019Updated 7 years ago
- ☆13Nov 12, 2019Updated 6 years ago
- 用c语言写的dbproxy☆36Aug 4, 2021Updated 5 years ago
- Dropwizard Metrics Demo☆15Aug 1, 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.
- Learning Kafka☆13Apr 18, 2016Updated 10 years ago
- C minus compiler from grammar given in Kenneth C louden's introduction to compiler.☆11Aug 3, 2020Updated 6 years ago
- 从paxos到zookeeper 分布式一致性原理与实践 源码☆13Oct 23, 2017Updated 8 years ago
- 基于kafka 实现的java版时间轮☆14May 15, 2020Updated 6 years ago
- It‘s springboot starter tutorial, including my open source project springboot starters☆16Feb 3, 2018Updated 8 years ago
- xv6 ported to x86_64.☆10Jan 9, 2021Updated 5 years ago
- [ICCV 2023] Rethinking Point Cloud Registration as Masking and Reconstruction☆10Aug 14, 2023Updated 3 years ago
- chiTCP - A simple, testable TCP stack☆17Nov 15, 2024Updated last year
- a simple rpc framework☆15Nov 13, 2016Updated 9 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.
- MIT 6.824 2018 lab. MIT6.824分布式系统（2018秋）☆86Sep 3, 2021Updated 4 years ago
- Spark学习的一个项目☆15Mar 3, 2019Updated 7 years ago
- [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 5 years ago
- A compiler for higher rank ML with type classes☆13Aug 29, 2020Updated 5 years ago
- stanford introduction to computer networking labs☆15Sep 5, 2018Updated 7 years ago
- 高级结构双数组Trie树（DoubleArrayTrie） java实现☆25Dec 20, 2025Updated 7 months ago
- 手写一个简单rpc框架☆19Jun 17, 2022Updated 4 years ago
- Official implementation of TACCO (Task-guided Co-clustering).☆16Aug 31, 2024Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Stack machine simulation☆14Sep 25, 2012Updated 13 years ago
- Lox tree-walking interpreter written in Swift - Based on Part II of Bob Nystrom's Book "Crafting Interpreters"☆12Apr 7, 2018Updated 8 years ago
- Yes, really!☆11May 8, 2015Updated 11 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
- x86-64/arm64 operating system kernel☆17Jul 17, 2026Updated last month
- Linux Security Module Stacking☆10Updated this week