Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals

FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems

Python API for zenoh

We have made you a wrapper you can't refuse

A skill file for removing AI tells from prose

telegram-cli

TripoSplat converts a single 2D image into high-quality and variable number of 3D Gaussians, developed by TripoAI.

The most powerful and modular diffusion model GUI, api and backend with a graph/nodes interface.

100% in-browser, hands-free AI voice chat using Whisper, WebLLM, and Supertonic TTS

Lightning-Fast, On-Device, Multilingual TTS — running natively via ONNX.

Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one

Orchestrate sandboxed coding agents in TypeScript with sandcastle.run()

"CLI-Anything: Making ALL Software Agent-Native" -- CLI-Hub: https://clianything.cc/

From LTLf/LDLf To Automata

HRM-Text is a 1B text generation model based on the HRM architecture, strengthened by task completion and latent space reasoning.

Python SDK, Proxy Server (AI Gateway) to call 100+ LLM APIs in OpenAI (or native) format, with cost tracking, guardrails, loadbalancing and logging. [Bedrock, Azure, OpenAI, VertexAI, Cohere, Anthr…

claude-red is a curated library of offensive security skills designed for the Claude skills system. Each skill is a structured SKILL.md file that primes Claude with expert-level methodology for a s…

Garry's Opinionated OpenClaw/Hermes Agent Brain

Skills Catalog for Codex

A terminal workspace with batteries included

Google's Engineering Practices documentation

Warp is an agentic development environment, born out of the terminal.

A Rust decompiler built on top of angr

A security-hardened, agent-native CLI for verifiable AI autonomy, featuring PQC-backed zero-trust orchestration and real-time reasoning surveillance.

Robust Speech Recognition via Large-Scale Weak Supervision

Style-Bert-VITS2: Bert-VITS2 with more controllable voice styles.

SOTA Open Source TTS

Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows

Algorithm powering the For You feed on X

A theoretical reconstruction of the Claude Mythos architecture, built from first principles using the available research literature.