hopter-project / hopterLinks
A Rust-based embedded operating system designed to enable memory-safe, robust, and responsive embedded applications.
☆71Updated 2 months ago
Alternatives and similar repositories for hopter
Users that are interested in hopter are comparing it to the libraries listed below
Sorting:
- ☆48Updated 8 months ago
- Phoenix dataplane system service☆55Updated last year
- RedLeaf Operating System☆127Updated 3 years ago
- ☆15Updated 2 years ago
- ☆72Updated last year
- Asynchronous semantics for architectural simulation and synthesis.☆34Updated this week
- Artifact evaluation repo for EuroSys'24.☆27Updated last year
- An OS kernel module for fast **remote** fork using advanced datacenter networking (RDMA).☆63Updated 4 months ago
- A Framework for Automated Validation of Deep Learning Training Tasks☆26Updated this week
- A verified library of synchronization primitives and concurrent data structures☆35Updated last month
- Website for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC☆44Updated 2 weeks ago
- Next-generation datacenter OS built on kernel bypass to speed up unmodified code while improving platform density and security☆102Updated 3 weeks ago
- Course website for Advanced Operating Systems☆13Updated 3 years ago
- A Progam-Behavior-Guided Far Memory System☆35Updated last year
- Implementation of the logging layer of our SOSP '23 paper Halfmoon☆11Updated last year
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆60Updated last month
- Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications☆21Updated 3 years ago
- [NSDI '24] DINT: Fast In-Kernel Distributed Transactions with eBPF☆45Updated 11 months ago
- A rust-based benchmark for BlueField SmartNICs.☆28Updated last year
- Automated Testing and Adaptive Detection of **Slow Faults** in Distributed Systems☆13Updated 3 months ago
- Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)☆36Updated 9 months ago
- Hermit: Low-Latency, High-Throughput, and Transparent Remote Memory via Feedback-Directed Asynchrony☆34Updated last year
- An operation-log based approach for data replication.☆62Updated 2 years ago
- 项目的主仓库☆25Updated 2 years ago
- Ensō is a high-performance streaming interface for NIC-application communication.☆72Updated last week
- MIND: In-Network Memory Management for Disaggregated Data Centers☆42Updated 3 years ago
- Transparent zero-copy IO☆20Updated last year
- Tools and experiments for 0sim. Simulate system software behavior on machines with terabytes of main memory from your desktop.☆21Updated 5 years ago
- A Filesystem Semi-Microkernel.☆42Updated last year
- This is the respository that holds the artifacts of ASPLOS'25 -- M5: Mastering Page Migration and Memory Management for CXL-based Tiered …☆13Updated 2 months ago