nayak16 / Custom-OS-Kernel
Kernel created for 15-410 Operating Systems class at Carnegie Mellon
☆12Updated 8 years ago
Alternatives and similar repositories for Custom-OS-Kernel:
Users that are interested in Custom-OS-Kernel are comparing it to the libraries listed below
- Nautilus Aerokernel☆44Updated 2 years ago
- ☆31Updated 3 years ago
- Framework of pa code for THU compiler principle course.☆13Updated 5 years ago
- Official page for 18-847C (Spring '22): Data Center Computing☆17Updated 2 years ago
- Code experiments to exercise ideas while reading "Engineering a Compiler".☆27Updated 5 years ago
- Just save my record on github...☆25Updated 4 years ago
- userspace /proc filesystem☆12Updated 3 years ago
- outline and links for PLDI 2022 tutorial☆17Updated 2 years ago
- A database management system implemented in Rust from scratch.☆22Updated 3 years ago
- ☆9Updated 6 months ago
- Operating System Simulator☆19Updated 5 years ago
- ssmem is a simple object-based memory allocator with epoch-based garbage collection☆34Updated 8 years ago
- The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…☆26Updated 3 years ago
- CS 346 RedBase Project (Stanford)☆37Updated 9 years ago
- ☆28Updated 2 years ago
- A fast in-memory key-value store☆49Updated 7 years ago
- 基于FPGA实现用户态中断硬件机制与优化操作系统内核☆9Updated last year
- x86_64体系结构学习☆10Updated 5 years ago
- Chaitin-Briggs register-allocation algorithm (LLVM back-end)☆11Updated 9 years ago
- Java Skeleton Code for 6.035☆8Updated 4 years ago
- 💻 A 5-stage pipeline MIPS CPU design in Haskell.☆36Updated 4 years ago
- ☆27Updated 3 years ago
- WineFS (SOSP 21): a huge-page aware file system for persistent memory☆36Updated last year
- The Optimistic File System (OptFS) is a Linux ext4 variant that implements Optimistic Crash Consistency, a new approach to crash consiste…☆33Updated 11 years ago
- A naive key-value database as the project of Storage Technology Foundations course☆10Updated 5 years ago
- ☆16Updated last year
- Code and results for our paper "Analyzing Vectorized Hash Tables Across CPU Architectures" @ VLDB '23.☆24Updated last year
- doppioDB - A hardware accelerated database☆48Updated 7 years ago
- ☆29Updated 8 years ago
- ☆46Updated last year