Nautilus Aerokernel
☆48May 11, 2022Updated 3 years ago
Alternatives and similar repositories for nautilus
Users that are interested in nautilus are comparing it to the libraries listed below
Sorting:
- Chaos is a virtualization toolstack focused on performance☆17Sep 28, 2022Updated 3 years ago
- Open memory disaggregation☆25Apr 21, 2020Updated 5 years ago
- A false sharing detection and repair tool☆14Jan 31, 2026Updated last month
- A key-value store for OCaml☆17Feb 1, 2022Updated 4 years ago
- ☆16May 20, 2019Updated 6 years ago
- Multikernel OS for manycore systems☆10Mar 4, 2022Updated 3 years ago
- ☆15Mar 6, 2021Updated 4 years ago
- The space of memory management research and systems produced by the PLASMA lab (https://plasma-umass.org).☆20Mar 22, 2021Updated 4 years ago
- Kernel created for 15-410 Operating Systems class at Carnegie Mellon☆16Apr 22, 2016Updated 9 years ago
- A compiler to automatically transform applications into disaggregated memory apps.☆16Nov 16, 2023Updated 2 years ago
- Linux in Unikernel Clothing☆71Oct 12, 2021Updated 4 years ago
- Core aware thread management system☆239Jul 16, 2023Updated 2 years ago
- Tools for running rump unikernels in userspace☆57Dec 12, 2015Updated 10 years ago
- Gluon Tutorial for Deep Learning Researchers && Engineers.☆20Mar 30, 2019Updated 6 years ago
- Diamond reactive programming platform☆26Jul 7, 2022Updated 3 years ago
- C++ Library of Atomic and Lockless Data Structures☆38Apr 25, 2020Updated 5 years ago
- An exokernel for the raspberry pi 3.☆82Nov 17, 2021Updated 4 years ago
- A high-performance, concurrent hash table☆25Dec 15, 2013Updated 12 years ago
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆33Jul 6, 2019Updated 6 years ago
- Code that we write in class.☆27Apr 23, 2021Updated 4 years ago
- This is the Group-Meeting collections of HKUST System NetworkING (SING) Research Group.☆27Oct 3, 2019Updated 6 years ago
- A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.☆44Jun 30, 2021Updated 4 years ago
- The compiler for ObliVM☆65Sep 1, 2020Updated 5 years ago
- ☆37May 19, 2023Updated 2 years ago
- ☆33Oct 9, 2017Updated 8 years ago
- NOELLE Offers Empowering LLVM Extensions☆83Jul 27, 2025Updated 7 months ago
- A minimal bash tool to convert video files to any other supported media files using yt-dlp and ffmpeg.☆22Jan 11, 2026Updated last month
- The code for MuddSub's Alfie AUV☆10Nov 23, 2025Updated 3 months ago
- Toolkit for Dynamic Python code manipulations☆11Oct 19, 2024Updated last year
- ☆11Updated this week
- ☆13Jul 22, 2022Updated 3 years ago
- The simple C/C++ library for hexapod (Robot spider with 6 legs) on Arduino.☆13Dec 27, 2018Updated 7 years ago
- ☆45Updated this week
- an approximate compiler☆38May 14, 2020Updated 5 years ago
- My own lectures on quantum optics and quantum computations (in Russian)☆13Dec 10, 2024Updated last year
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 4 months ago
- This command can be run to watch a cgroup for OOM events and run some subcommand.☆14Dec 11, 2014Updated 11 years ago
- TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.☆11Aug 13, 2023Updated 2 years ago
- Source code for 'Advanced C and C++ Compiling' by Milan Stevanovic☆38Mar 28, 2017Updated 8 years ago