A Rust-based research microkernel operating system for RISC-V, focused on capability-based security, deterministic testing, and a Service-Plane userspace.

A cloud-native Kubernetes controller for managing time-based machine scheduling on physical nodes using Cluster API (CAPI).

This project is simplify meant to test the CD and CI functions for GitHub

A zero-latency, serverless C++ IDE powered by WebAssembly. High performance, minimalist design, entirely in your browser.

SoundSpot is a decentralized audio streaming infrastructure for the UPlanet cooperative ecosystem. It turns a Raspberry Pi Zero 2W into a WiFi access point...

The accountability primitive for AI agents. Cryptographic behavioral commitments with trustless verification.

GIVP is a NumPy-native metaheuristic optimizer implementing GRASP, Iterated Local Search (ILS), and Variable Neighborhood Descent (VND) with Path Relinking...

GraphRAG-powered local documentation search — entity extraction, vector + graph retrieval, MCP server. Written in Go.

🔎 Terminal UI for watching GitHub Actions CI/CD workflows with runtime metrics, queue times, and check status - alternative to gh pr checks --watch

Universal primitives for AI agent harness engineering. harness-one provides the foundational building blocks for constructing, composing, and operating AI...

TechSheet.org main repository

dominion-setup is a Python library and CLI tool to set up a game of Dominion, the classic deck-building game