JOS Lab of MIT 6.828: Operating System Engineering.
☆18Aug 29, 2017Updated 8 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:
- Implementation of the core of an exokernel-style operating system☆11Dec 6, 2014Updated 11 years ago
- Python binding for the H2O HTTP server☆23Feb 26, 2017Updated 9 years ago
- ☆16Nov 9, 2017Updated 8 years ago
- Great homework for Fundamentals of Programming course.☆13Jan 21, 2016Updated 10 years ago
- 仿高德地铁线路图SDK☆12Jun 15, 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.
- Yet Another File System (yfs) based on Paxos algorithm.☆16Oct 22, 2017Updated 8 years ago
- This is a multitasking and x86 based operating system.☆40May 5, 2020Updated 6 years ago
- Compilation script and wrapper for Z3 compiled through Emscripten☆12May 27, 2016Updated 10 years ago
- Algorithm W implementation for type inference and parametric polymorphism in Vanilla JS☆17Nov 9, 2017Updated 8 years ago
- A memory-safe systems programming language designed to replace C++☆40Mar 4, 2026Updated 5 months ago
- config files for my hyprland setup☆15Feb 4, 2023Updated 3 years ago
- Native inlining constant folding register allocating Forth compiler☆19Jan 19, 2016Updated 10 years ago
- Awesome Super Mario: mini mario-like in assembly language☆11Sep 11, 2015Updated 10 years ago
- Tam is the Assets Manager for you.☆18Sep 24, 2016Updated 9 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Create a multi-tier Just-in-time compiler in 10 minutes!☆15Dec 20, 2016Updated 9 years ago
- 基于django和layui,xadmin的知识管理web，可以团队使用，也可以当做个人博客☆17Jan 16, 2021Updated 5 years ago
- v8cpu is a simple multi-cycle von Neumann architecture 8-bit CPU in under 500 lines of Verilog.☆14Feb 24, 2018Updated 8 years ago
- deprecated☆19Jan 15, 2019Updated 7 years ago
- A green colorscheme for Vim text editor.☆16Feb 25, 2018Updated 8 years ago
- The core engine of avg++ without any rendering implementations☆32Jul 16, 2020Updated 6 years ago
- Simple Python 3 web crawler☆14Jan 23, 2020Updated 6 years ago
- Dotfiles for my personal computer!☆16May 17, 2021Updated 5 years ago
- Awesome Hardware Development CheatSheet☆16Aug 30, 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.
- IEEE754 reduced reduced precision floating point☆23Apr 1, 2017Updated 9 years ago
- Learn Compiler Writing with the Feeny Programming Language☆13Feb 24, 2020Updated 6 years ago
- Compiler built in Rust using LLVM☆30Feb 22, 2026Updated 5 months ago
- Tool to perform Brute Force Attack FTP☆12Jan 23, 2020Updated 6 years ago
- WasaK - WhatsHack it's a chat for hackers.☆11Jan 9, 2018Updated 8 years ago
- Some of the Anti-Debugging Tricks☆29Feb 20, 2017Updated 9 years ago
- A minecraft server implement in golang.☆16Aug 27, 2017Updated 8 years ago
- The 人人图形学 Project. ~明目张胆抄袭，谢谢大家。~☆14Feb 11, 2019Updated 7 years ago
- Library to access information about PE binary.☆18Oct 2, 2013Updated 12 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.
- A hobby operating system. Everyone's gotta have one.☆50Apr 30, 2011Updated 15 years ago
- Linux /proc data in a consistent, parsed format.☆10Mar 28, 2016Updated 10 years ago
- ☆28Nov 20, 2025Updated 8 months ago
- Reproducing images using hex values☆28Jan 28, 2018Updated 8 years ago
- A simple program to make your Linux server act as TCP Transparent Proxy.☆25Mar 7, 2020Updated 6 years ago
- A Latex template for formatting the Yale GSAS dissertation☆21Jan 6, 2022Updated 4 years ago
- causal-length sets in Rust☆16Mar 25, 2026Updated 4 months ago