Minimal Ralph Loop plugin for opencode - auto-continues until task completion

Cooperative CPU + GPU (WebGPU) compression library for Rust.

A gym environment for ALOHA

🤗 LeRobot: Making AI for Robotics more accessible with end-to-end learning

TUI-based client for Slack

Offline, privacy-first grammar checker. Fast, open-source, Rust-powered

Editable mindmaps for org-mode.

A nostr client for Emacs

emacs org-mode toolkit

Email-first capture pipeline for Org mode

Remotion + VOICEVOX動画テンプレート（ずんだもん＆めたん掛け合い動画）

Control the Spotify app from within Emacs.

Samurai-inspired multi-agent system for Claude Code. Orchestrate parallel AI tasks via tmux with shogun → karo → ashigaru hierarchy.

Thunderbird for iOS – Open Source Email App for iOS

A tool to synthesize causes for omega-regular properties.

This repository includes scripts for reproducing the results of Breach and ForeSee.

Type-checker for the λΠ-calculus modulo rewriting

FOND Planner

Learning nondeterministic real-time automata

PPLite: convex polyhedra library for Abstract Interpretation

HOA plus plus format for ω-automata beyond Booleans

Real-time monitoring tool for ROS applications that uses the rtamt library

Monitoring framework in Scala.

Monitoring framework in Python.

Reusable Research Software: Data Types, Schemas, and Utilities