Alternatives and similar repositories for Custom-OS-Kernel:

Users that are interested in Custom-OS-Kernel are comparing it to the libraries listed below

• HExSA-Lab / nautilus
  Nautilus Aerokernel
  ☆44Updated 2 years ago
• murraycu / murrayc-compiler-experiments
  Code experiments to exercise ideas while reading "Engineering a Compiler".
  ☆27Updated 5 years ago
• upenn-acg / ocolos-public
  Ocolos is the first online code layout optimization system for unmodified applications written in unmanaged languages.
  ☆52Updated last year
• SHTUSIST / AisLSM
  ☆11Updated 8 months ago
• tchajed / futex-tutorial
  ☆9Updated 5 months ago
• MashPlant / decaf-rs
  Framework of pa code for THU compiler principle course.
  ☆13Updated 5 years ago
• computersforpeace / model-checker
  CDSChecker: A Model Checker for C11 and C++11 Atomics
  ☆28Updated 11 years ago
• mit-pdos / ward
  ☆31Updated 3 years ago
• parapluu / lock_benchmarking
  Benchmarks for locking algorithms as well as implementations of locking algorithms.
  ☆23Updated 6 years ago
• Airtnp / Notes
  Just save my record on github...
  ☆24Updated 3 years ago
• lastweek / lastweek.github.io
  Yizhou' Homepage
  ☆47Updated last month
• DBOS-project / dbos-scheduler
  ☆26Updated 3 years ago
• regehr / pldi22-llvm-tutorial
  outline and links for PLDI 2022 tutorial
  ☆17Updated 2 years ago
• STAR-Research / 18-847C-S22
  Official page for 18-847C (Spring '22): Data Center Computing
  ☆17Updated 2 years ago
• 6035 / java-skeleton
  Java Skeleton Code for 6.035
  ☆8Updated 3 years ago
• tqyaaaaang / Hyper-OS
  Operating System Simulator
  ☆19Updated 5 years ago
• LPD-EPFL / ssmem
  ssmem is a simple object-based memory allocator with epoch-based garbage collection
  ☆34Updated 8 years ago
• cmu-db / libfixeypointy
  Fixed-Point Decimal Library from Carnegie Mellon University
  ☆34Updated 8 months ago
• Jonathan2251 / lbt
  Develop toolchain based on llvm to for Cpu0 processor
  ☆45Updated last year
• yhtzd / skyloft
  Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)
  ☆32Updated 4 months ago
• stephentu / scalex
  Code snippets for the workshop on concurrent data structure implementation.
  ☆31Updated 11 years ago
• dslab-epfl / lpn
  Repo for Performance Interfaces for Hardware Accelerators.
  ☆10Updated 7 months ago
• skyzh / mips-simulator
  💻 A 5-stage pipeline MIPS CPU design in Haskell.
  ☆36Updated 4 years ago
• pleasewhy / startos
  rewrite subset of linux 2.6 by OOP, C++ advanced topics
  ☆11Updated 3 years ago
• wyfunique / DBSim
  The codebase for DBSim
  ☆15Updated last year
• MashPlant / db
  A database management system implemented in Rust from scratch.
  ☆22Updated 3 years ago
• ManyThreads / mythos
  Many Threads Operating System
  ☆18Updated 2 years ago
• flexible-address-space / flexspace
  Code of the paper "Building an Efficient Key-Value Store in a Flexible Address Space", EuroSys '22
  ☆21Updated 7 months ago
• zxjcarrot / uproc
  userspace /proc filesystem
  ☆12Updated 3 years ago
• hpides / vectorized-hash-tables
  Code and results for our paper "Analyzing Vectorized Hash Tables Across CPU Architectures" @ VLDB '23.
  ☆23Updated 11 months ago