Learning-Directed Operating System (LDOS)
Learning-Directed Operating System
- 22 followers
- United States of America
- https://ldos.utexas.edu/
Popular repositories Loading
-
policysmith
policysmith PublicPolicySmith: Man-made heuristics are dead. Long live code generators! (HotNets 2025)
Repositories
Showing 10 of 25 repositories
- asterinas Public
Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.
- mimesys Public
Mimesys: Generating Realistic Executable Testing Environments from Resource Usage Traces (OSDI 26)
- libcachesim Public
Fork of libcachesim used in various LDOS projects (including PolicySmith and Vulcan).
- libvulcan Public
- KernMLOps Public
- UNUM Public
- Galileo Public
Artifact for Galileo, a framework that leverages queueing-theoretic models to build robust microservice controllers
- policysmith Public
PolicySmith: Man-made heuristics are dead. Long live code generators! (HotNets 2025)
Top languages
Loading…
Most used topics
Loading…