Skip to content

@ldos-project Learning-Directed Operating System (LDOS)

Change the repository type filter

All

    Repositories list

    22 repositories

    • asterinas

      Public
      Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.
      Rust
      •
      Other
      •1•7•47•13•Updated May 5, 2026May 5, 2026

    • mimesys

      Public
      Mimesys: Generating Realistic Executable Testing Environments from Resource Usage Traces (OSDI 26)
      C
      •0•0•0•0•Updated Apr 30, 2026Apr 30, 2026

    • KernMLOps

      Public
      Python
      •10•14•3•10•Updated Mar 2, 2026Mar 2, 2026

    • UNUM

      Public
      Python
      •
      Apache License 2.0
      •0•2•0•0•Updated Feb 14, 2026Feb 14, 2026

    • Galileo

      Public
      Artifact for Galileo, a framework that leverages queueing-theoretic models to build robust microservice controllers
      kubernetesmachine-learningmicroservices
      kubernetesmachine-learningmicroservicesautoscaleradmission-controllerqueueing-networksml-for-systems
      Python
      •0•2•0•0•Updated Feb 12, 2026Feb 12, 2026

    • policysmith

      Public
      PolicySmith: Man-made heuristics are dead. Long live code generators! (HotNets 2025)
      cachingml-for-systems
      cachingml-for-systems
      Python
      •1•6•0•0•Updated Dec 30, 2025Dec 30, 2025

    • libcachesim

      Public
      Fork of libcachesim used in PolicySmith.
      C++
      •
      GNU General Public License v3.0
      •0•1•0•0•Updated Dec 22, 2025Dec 22, 2025

    • TraceLLM

      Public
      Python
      •2•12•1•0•Updated Nov 5, 2025Nov 5, 2025

    • orpc-prototype

      Public
      A prototype implementation of ORPC and OQueues
      Rust
      •0•1•0•0•Updated Oct 3, 2025Oct 3, 2025

    • Canopy

      Public
      Property-driven learning framework for training robust, reliable congestion control algorithms
      Python
      •
      MIT License
      •2•4•0•0•Updated Sep 18, 2025Sep 18, 2025

    • ldos_tables

      Public
      This project contains test implementations of LDOS Tables for benchmarking and experimentation
      Rust
      •0•0•0•0•Updated Jul 28, 2025Jul 28, 2025

    • bloat-tester-programs

      Public
      Rust
      •0•0•0•0•Updated Jun 13, 2025Jun 13, 2025

    • configbot

      Public
      Adaptive Resource Allocation for Robot Applications in Dynamic Environments
      Python
      •0•1•0•0•Updated Jun 4, 2025Jun 4, 2025

    • configbot_ros_comm

      Public
      Python
      •0•1•0•0•Updated Jun 4, 2025Jun 4, 2025

    • github-action-benchmark

      Public
      TypeScript
      •
      MIT License
      •1•0•0•0•Updated Apr 3, 2025Apr 3, 2025

    • ebpf-tutorial

      Public
      A tutorial in jupyter for using ebpf.
      Jupyter Notebook
      •0•1•0•0•Updated Mar 24, 2025Mar 24, 2025

    • ticl

      Public
      Library for structural temporal logic proofs over coinductive, free monads with effects and choice.
      Coq
      •
      MIT License
      •9•1•0•0•Updated Feb 1, 2025Feb 1, 2025

    • grub

      Public
      C
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Dec 16, 2024Dec 16, 2024

    • smoltcp

      Public
      a smol tcp/ip stack
      Shell
      •528•0•0•0•Updated Nov 8, 2024Nov 8, 2024

    • ostd-pod

      Public
      Rust
      •1•0•0•0•Updated Jul 15, 2024Jul 15, 2024

    • inherit-methods-macro

      Public
      Rust
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Jul 1, 2024Jul 1, 2024

    • linux

      Public
      Linux kernel source tree
      C
      •
      Other
      •62k•1•0•0•Updated Jun 28, 2024Jun 28, 2024
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.