hopter-project / hopter
A Rust-based embedded operating system designed to enable memory safe, memory efficient, reliable, and responsive applications.
☆63Updated 2 weeks ago
Alternatives and similar repositories for hopter:
Users that are interested in hopter are comparing it to the libraries listed below
- ☆45Updated 5 months ago
- Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)☆33Updated 6 months ago
- Phoenix dataplane system service☆54Updated 9 months ago
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆55Updated last month
- Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications☆20Updated 2 years ago
- Ensō is a high-performance streaming interface for NIC-application communication.☆71Updated this week
- An OS kernel module for fast **remote** fork using advanced datacenter networking (RDMA).☆60Updated last month
- Artifact evaluation repo for EuroSys'24.☆25Updated last year
- Utilities for paper writing.☆11Updated 7 months ago
- Course website for Advanced Operating Systems☆13Updated 2 years ago
- 项目的主仓库☆24Updated 2 years ago
- A Progam-Behavior-Guided Far Memory System☆34Updated last year
- Implementation of the logging layer of our SOSP '23 paper Halfmoon☆11Updated last year
- A verified library of synchronization primitives and concurrent data structures☆31Updated last week
- Rust Unikernel OS☆72Updated last week
- Website for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC☆35Updated last week
- code snippets for☆9Updated 9 months ago
- 🔪Mx-Star Compiler Project☆14Updated 4 years ago
- A GPU FP32 computation method with Tensor Cores.☆20Updated 2 years ago
- Next-generation datacenter OS built on kernel bypass to speed up unmodified code while improving platform density and security☆94Updated 3 weeks ago
- OSDI'24 Nomad implementation☆44Updated 4 months ago
- Backend & Frontend for JieLabs☆22Updated 2 years ago
- Nu is a new datacenter system that enables developers to build fungible applications that can use datacenter resources wherever they are.☆38Updated 10 months ago
- A rust-based benchmark for BlueField SmartNICs.☆28Updated last year
- The example SysY compiler Kira for PKU compiler course, written in Rust.☆59Updated last year
- hypocaust, a S-mode trap and emulate type-1 hypervisor run on RISC-V machine.☆48Updated 2 years ago
- ☆14Updated last year
- REEF is a GPU-accelerated DNN inference serving system that enables instant kernel preemption and biased concurrent execution in GPU sche…☆94Updated 2 years ago
- ☆23Updated last year
- RedLeaf Operating System☆122Updated 2 years ago