A new markup language and typesetting system designed for incrementality and speed.

Upper-limb exoskeleton for robot teleoperation and torque feedback

An extended standard library for the Rust programming language.

Dataset and multimodal tracking framework for RGB-event multi-object tracking.

Benchmark for evaluating agentic safety under decomposition attacks

A differentiable high-fidelity solver for accelerated data generation in fluid dynamics.

Implementation of a pipeline for LLM-driven hierarchical hardware formal verification.

A streaming benchmark for evaluating agent memory and its ability to handle future-oriented assistance.

A benchmark for evaluating affordance reasoning from physical properties in LLMs.

Agentic digital-twin framework for augmenting interactions with Business Intelligence dashboards.

A benchmark for evaluating the performance and safety of workplace agents.

A fetch-and-organize orchestrator for music that grabs singles and playlists from various APIs and SoulSeek.

An all-text database system implemented as an Emacs mode.

A modern X11 server rewritten from scratch in Rust.

An open standard for connecting AI models to data sources and tools.

A modular network stack for peer-to-peer applications, useful for agent transport.

Open-source project to replace proprietary BIOS/UEFI implementations.

A Rust-based Xserver implementation

Open-source Computed Axial Lithographic 3D printing project.

A structural merge tool that merges code based on language structure and not lines.