Learning-Directed Operating System (LDOS)
Learning-Directed Operating System
- 8 followers
- United States of America
- https://ldos.cs.utexas.edu/
Popular repositories Loading
Repositories
Showing 10 of 17 repositories
- asterinas Public
Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.
ldos-project/asterinas’s past year of commit activity - KernMLOps Public
ldos-project/KernMLOps’s past year of commit activity - ldos_tables Public
This project contains test implementations of LDOS Tables for benchmarking and experimentation
ldos-project/ldos_tables’s past year of commit activity - bloat-tester-programs Public
ldos-project/bloat-tester-programs’s past year of commit activity - configbot_ros_comm Public
ldos-project/configbot_ros_comm’s past year of commit activity - UNUM Public
ldos-project/UNUM’s past year of commit activity - C3 Public
ldos-project/C3’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…