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
Sorting:
- 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☆71Mar 4, 2017Updated 9 years ago
- 用c语言写的dbproxy☆36Aug 4, 2021Updated 4 years ago
- CSC 541 Assignment 4 B-Trees Introduction The goals of this assignment are two-fold: To introduce you to searching data on disk using B…☆11May 10, 2015Updated 10 years ago
- This is an implementation of SafeBricks, based on NetBricks maintained by Comcast and refined by Yang: https://github.com/YangZhou1997/Ne…☆10Feb 3, 2020Updated 6 years ago
- Hand-grown compiler from a typed subset of Scheme to WebAssembly, written in Rust☆11May 23, 2020Updated 5 years ago
- A compiler for higher rank ML with type classes☆13Aug 29, 2020Updated 5 years ago
- Tutorial for rCore OS step by step (3rd edition)☆10Apr 24, 2021Updated 4 years ago
- An example React Native Expo App supporting Android, iOS, Web, and Electron desktop apps☆11Jul 22, 2022Updated 3 years ago
- Final Project for Parallel Computing at CMU (15-618/15-418)☆10May 13, 2016Updated 9 years ago
- linear probing hash table implementation written in C (c99)☆10Jul 8, 2018Updated 7 years ago
- Implementation of lua virtual machine☆11Jan 22, 2018Updated 8 years ago
- Stack machine simulation☆13Sep 25, 2012Updated 13 years ago
- Eru load balancer☆10Sep 25, 2019Updated 6 years ago
- btree written in c☆10Feb 26, 2015Updated 11 years ago
- ☆14Jan 21, 2014Updated 12 years ago
- Yet another Python PostgreSQL database driver☆12Dec 9, 2025Updated 3 months ago
- upstream development the newest feature about HV.☆10Sep 12, 2021Updated 4 years ago
- Unofficial mirror of libdatrie from http://linux.thai.net/svn/software/datrie/☆10Jul 20, 2016Updated 9 years ago
- simple websocket for Flask☆12Jan 6, 2017Updated 9 years ago
- Mirror of http://svn.linuxvirtualserver.org/repos/ipvsadm☆12Dec 30, 2015Updated 10 years ago
- HOL Guidebook☆12Oct 11, 2024Updated last year
- Go 汉语简繁转换☆11Oct 30, 2014Updated 11 years ago
- modern implementation of real goto/label statements in python 3.5+.☆13Feb 9, 2021Updated 5 years ago
- SASS mixins for named breakpoints.☆10Jan 16, 2017Updated 9 years ago
- 用cpp编写的一个实现了最核心功能的YACC,供练习使用.☆10Aug 28, 2017Updated 8 years ago
- 2015年8月1日上海,SICP读书讨论、函数式程序设计及程序设计语言理论交流分享会。☆12Sep 1, 2015Updated 10 years ago
- record daily learning☆11Aug 13, 2019Updated 6 years ago
- ☆15Oct 10, 2023Updated 2 years ago
- Complete stack for a personnal mail system including SMTP receiver, sender, webmail, mailing list, ...☆12May 5, 2019Updated 6 years ago
- 操作系统课设自用 xv6-2021 。☆10Jul 13, 2022Updated 3 years ago
- Fully Convolutional Geometric Features (FCGF, ICCV19) based on spconv library☆15Jul 14, 2022Updated 3 years ago
- Python module for using CEFPython with Panda3D☆12Jan 9, 2020Updated 6 years ago
- Collection of Templates scripts☆13Aug 18, 2022Updated 3 years ago
- 使用WebGL和Node.js技术构建复旦 三维社交网络。目前实现了校园模型demo显示,多用户在线聊天。☆12Jun 12, 2015Updated 10 years ago
- CSE120 Project☆10Nov 19, 2014Updated 11 years ago
- type-system, revised unification algorithm and runtime time representations☆14Dec 12, 2019Updated 6 years ago
- ☆13Nov 12, 2019Updated 6 years ago
- A simple Go app to understand the Raft Consensus Algorithm☆11Jun 13, 2016Updated 9 years ago