Kubernetes operator for Multigres — deploys, scales, and manages horizontally scalable PostgreSQL clusters with automated topology orchestration, drain-safe rolling updates, and admission webhooks

LLM Evaluation Workbench for Phoenix Apps

Local-first macOS app that turns your goals into scheduled, self-correcting Claude Code jobs

A path query language for JSON, YAML, TOML, and other serialization formats.

Bind specs to code and check for drift.

Modern, AI-native and agentic Pythonic data transformation platform.

Grafana dashboards in your terminal

Self-referential self-improving agents that can optimize for any computable task

Zero-config semantic search for any PostgreSQL database. pip install pgsemantic, three commands, done

ACORN-1 pre-filtered HNSW search for DuckDB

Using LLMs and AI browser automation to robustly extract web data

Manage agents remotely from your phone, desktop and CLI

Workflow orchestration for AI coding agents, from task to merged PR.

Add custom effect to global system title bar, support win10 and win11.

cliamp - Terminal music player inspired by winamp

Semantic search over videos using Gemini Embedding 2 or Qwen3-VL.

An open standard for shared agent learning. Agents persist, share, and query collective knowledge so they stop rediscovering the same failures independently.

Property-based testing for web UIs, autonomously exploring and validating correctness properties, finding harder bugs earlier

Indexed regex search for large codebases, powered by trigram / sparse n‑gram indexes. A grep-like CLI that builds a local on-disk index, so searches stay fast even on huge monorepos.

Light, fluffy, and always free - AWS Local Emulator

Grafeo is a pure-Rust, high-performance graph database that can be embedded as a library or run as a standalone database, with optional in-memory or persistent storage. Grafeo supports both LPG and…

A verification toolchain for Rust programs

Scylla, a tool for translating ultra-regular C code to Safe Rust

Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.

⚡ Ultra-fast data validation for Python & TypeScript. Drop-in Pydantic/Zod replacement powered by Zig + SIMD WASM.

FastAPI-compatible Python framework with Zig HTTP core; 7x faster, free-threading native

Run OpenClaw more securely inside NVIDIA OpenShell with managed inference