An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

Build-time CSS class consolidation. Makes Tailwind render 50% faster by compressing repeated utility patterns. Perfect for AI-generated code.

Kubernetes Skill for Claude Code and Codex. LLMs hallucinate a lot with K8s - KubeShark fixes this. It eliminates hallucinations and grounds your Kubernetes, Helm etc official best practices.

Open Self Service - The Open Source Composable Frontend for Customer Portals

Reports from automated security audits made by Swival.

kamera is a simulation toolkit for observing, analyzing, and verifying the behavior of Kubernetes control planes.

Platform design skill pack: 300+ rules for Apple HIG, Material Design 3, and WCAG 2.2 across iOS, iPadOS, macOS, watchOS, visionOS, tvOS, Android, and Web.

A local dashboard for tracking your Claude Code token usage, costs, and session history. Pro and Max subscribers get a progress bar. This gives you the full picture.

LiteRT-LM is Google's production-ready, high-performance, open-source inference framework for deploying Large Language Models on edge devices.

Public entry point for Velr — an embedded property-graph database built on SQLite and queried with openCypher.

This repo contains a list of the 10,000 most common English words in order of frequency, as determined by n-gram frequency analysis of the Google's Trillion Word Corpus.

Idempotent schema management for MySQL, PostgreSQL, SQLite, and SQL Server

Complete ISO 3166 countries and subdivisions data

OAuth authentication plugin for personal coding assistance with ChatGPT Plus/Pro subscriptions - uses OpenAI's official authentication method

TigerBeetle Ticket Booking Example

An open-source framework for verifiably private AI inference

Unofficial golang client SDK for api.hyperliquid.xyz supporting both API and websocket channels

Statigz serves pre-compressed embedded files with http in Go

Backport of .NET 2.0 - 3.5 to Windows 9x

Virtualize macOS 12 and later on Apple Silicon, VirtualBuddy is a virtual machine GUI for macOS M1, M2, M3, M4

An asynchronous IO runtime

BinaryRpc designed for latency-sensitive applications such as multiplayer games, financial tick streams, and IoT dashboards, delivering ultra-low latency and minimal overhead. With a modular archit…

Artificial Neural Engine Machine Learning Library

Integrate the DeepSeek API into popular software

A fast approximate nearest neighbor search library for Go

Command and Conquer: Red Alert

Democratizing Reinforcement Learning for LLMs

Skip enables the creation of native SwiftUI apps for iOS and Android