Stars
FreeRTOS kernel files only, submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.
watasuke102 / caladan
Forked from shenango/caladanInterference-aware CPU scheduling that enables performance isolation and high CPU utilization for datacenter servers
RD-Gen (random DAG generator considering multi-rate applications for reproducible scheduling evaluation) is a tool for researchers targeting DAGs.
True Zero Copy Communication Middleware for Unsized ROS 2 Message Types.
HEFT, randomHEFT and IPEFT algorithms for static list DAG Scheduling
Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
Linux running inside a PDF file via a RISC-V emulator
Homebrew Taps for my favorite scientific software
Production-grade client-side tracing, profiling, and analysis for complex software systems.
The FlexFringe tool for flexible learning of state machines (deterministic automata) from traces. See the paper at https://arxiv.org/abs/2203.16331
A machine learning toolkit for log parsing [ICSE'19, DSN'16]
Tamarin models for state continuity of SGX enclave programs
A minimal Linux scheduler with sched-ext written in C
Template to implement Linux kernel schedulers in Rust running in user-space
Dyro: Dynamic Rust Ownership Verification
Capturing SSL/TLS plaintext without a CA certificate using eBPF. Supported on Linux/Android kernels for amd64/arm64.
Python implementations of cryptographic attacks and utilities.