🎶 MIT 6.S081 Operating System Engineering (Now known as 6.1810)
☆38May 15, 2022Updated 3 years ago
Alternatives and similar repositories for -MIT-6.S081-Operating-System-Engineering
Users that are interested in -MIT-6.S081-Operating-System-Engineering are comparing it to the libraries listed below
Sorting:
- 🎶 MIT 6.S081 Operating System Engineering☆21May 15, 2022Updated 3 years ago
- Open Source CUPS UNIRAST to PDF filter☆17Aug 30, 2017Updated 8 years ago
- ☆15Sep 27, 2022Updated 3 years ago
- Code and slides for Codemania 'Monads to the Rescue' presentation☆21May 12, 2014Updated 11 years ago
- ☆10Oct 5, 2021Updated 4 years ago
- A collection of allocators implemented in C☆11Mar 31, 2024Updated last year
- A warm dark theme for Pharo Smalltalk☆14Feb 6, 2024Updated 2 years ago
- Stack Lang - stack based programming language☆11Dec 31, 2024Updated last year
- Xiaomi msm8953 custom kernel source, intended for stock MIUI ROMs☆12Jan 23, 2020Updated 6 years ago
- ☆15May 1, 2021Updated 4 years ago
- Rubik's cube solver using Scheme☆20Apr 21, 2015Updated 10 years ago
- RenameLocalVars is an IDA plugin that renames local variables to something easier to read.☆15Jul 9, 2023Updated 2 years ago
- Differential CPU fuzzing framework from the paper "RISCover: Automatic Discovery of User-exploitable Architectural Security Vulnerabiliti…☆24Mar 1, 2026Updated 2 weeks ago
- Simple miniKanren, with only ==, fresh, and conde. A good starting point for exploratory hacking.☆45May 29, 2023Updated 2 years ago
- ☆16May 7, 2020Updated 5 years ago
- A little booklet to master dataframe☆17Aug 25, 2024Updated last year
- Securing ARM Devices by Packt Publishing☆38Jul 18, 2025Updated 8 months ago
- My new Dotfiles for Arch with Ragnar☆16Aug 7, 2024Updated last year
- ☆53Dec 12, 2025Updated 3 months ago
- ☆21Nov 12, 2017Updated 8 years ago
- ☆22May 7, 2012Updated 13 years ago
- Emacs package to show a dynamic ruler that can be freely moved around the buffer, for measuring and positioning text.☆24Nov 26, 2023Updated 2 years ago
- This repository is a part of the project (https://github.com/users/Aman9026/projects/3) and would contain the solutions of all the proble…☆12Mar 28, 2020Updated 5 years ago
- I’m studying master embedded system diploma (Learn In Depth) with eng. Keroles☆20Aug 19, 2022Updated 3 years ago
- A Likelihood framework brought to you with from the Weizmann stat. team☆13Feb 8, 2020Updated 6 years ago
- Python GUI for seeing what's happening inside a fuzzer☆26Oct 1, 2021Updated 4 years ago
- Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction☆28Oct 6, 2018Updated 7 years ago
- ☆27May 26, 2025Updated 9 months ago
- This is a python script that uses Selenium web driver, Scrapy and Twilio to scour bestbuy and newegg for rtx3080 to run this bot 1. Downl…☆15Nov 1, 2020Updated 5 years ago
- Proposal for new Embedded ABI (EABI) for use in embedded RISC-V systems.☆27Jun 7, 2021Updated 4 years ago
- Workshop materials for the "Introduction to Quantum Computing with Grover’s Search" workshop at Grace Hopper Celebration 2019☆24Dec 10, 2020Updated 5 years ago
- ☆46Aug 8, 2022Updated 3 years ago
- Gym Management System with SMS Support☆28Oct 16, 2024Updated last year
- SyzScope is a research project that aims to reveal high-risk security bug from Syzbot. Learn more details in our paper.☆24Nov 17, 2021Updated 4 years ago
- glaucus screenshots☆14Feb 20, 2026Updated 3 weeks ago
- hybrid modal keymap framework for awesomewm☆17Dec 14, 2023Updated 2 years ago
- The Kent Retargetable occam Compiler☆46Feb 19, 2022Updated 4 years ago
- FUNCTIONAL PROGRAMMING: Application and Implementation, Peter Henderson, ISBN 0-13-331579-7☆53Feb 17, 2024Updated 2 years ago
- A toy Python interpreter with monad comprehensions☆53Jun 3, 2024Updated last year