A cute running cat animation on your macOS menubar.

Source Code Algebraic System

Minimal AArch64 Type-1 hypervisor (also supports Raspberry Pi 4)

Used to generate and compare bounded timestamps.

An Obsidian plugin that embeds Claude Code/Codex as an AI collaborator in your vault

Use Claude Agent SDK from any ACP client

Rust SDK for the core C2PA (Coalition for Content Provenance and Authenticity) specification

Structured, contextual, extensible, composable logging for Rust

Fluentd: Unified Logging Layer (project under CNCF)

APALACHE: symbolic model checker for TLA+ and Quint

The Z3 Theorem Prover

LazyLog: A New Shared Log Abstraction for Low-Latency Applications

Protocol buffer files for TiKV

A native gRPC client & server implementation with async/await support.

The `io_uring` library for Rust

The analytical engine for TiDB and TiDB Cloud. Try free: https://tidbcloud.com/free-trial

Build userspace NVMe drivers and storage applications with CUDA support

Yahoo! Cloud Serving Benchmark

A Model Context Protocol server that executes commands in the current iTerm session - useful for REPL and CLI assistance

Fair-code workflow automation platform with native AI capabilities. Combine visual building with custom code, self-host or cloud, 400+ integrations.

Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞

Run agents like Hermes, LangChain Deep Agents, and OpenClaw more securely inside NVIDIA OpenShell with managed inference

Linux Kernel Programming 2E - published by Packt

Limited DNS server with RESTful HTTP API to handle ACME DNS challenges easily and securely.

information-theoretic asynchronous BFT