GenseeAI's fork of WukLab/os4agent for agentic transactional runtime

Making the Model-Kernel Interface Explicit for Reliable CUDA Kernel Verification

Run AI harnesses like Claude Code, Codex, Copilot, Antigravity, and Omnigent in disposable workspace forks. Review, merge, or roll back changes with policy enforcement and provenance.

Fork, snapshot, and rollback OS workspaces for AI agents

Detect concurrency and memory bugs and possible panic locations in Rust projects

SC-Bench

Stateful LLM Serving

Inference Llama 2 in one file of pure C

Detect concurrency and memory bugs and possible panic locations in Rust projects

A tool for effective testing the binding layer of scripting languages

an input-sensitive profiler

Fuzzing concurrent Go programs

code snippets for

Code and Data Repository for Understanding Fraudulent online Survey Takers

Writing an OS in Rust

C to Rust translator

Collected Concurrency Bugs in Our ASPLOS Paper

profiling program complexity in production runs

Steev's MIDI Library is a pure C library to handle the MIDI protocol, as well as providing code to read and write standards-compliant MIDI files. This provides code functionality for apps wishing t…

LDoctor

A programmer-oriented testing framework for Java — ⚠️ maintenance mode