Search

A python decorator that autoformalizes and formally verifies python code using Lean 4 and LLMs

Turns YAML scripts into narrated, captioned terminal videos — then lets you fine-tune the timing in a post-production editor.

This package helps you track your llm costs

Browser typography spacing toolkit with visual kerning editing. Framework-agnostic.

Next.js request and server action helpers for definitely-fine scenarios.

CodeCoupler Webpack Configuration Factory

TUI tool for autoresearch — autonomous experiment loops on any codebase

Native OpenClaw plugin for Principles Disciple

Response class for QVAC

OpenAPI to cookbook transformation and mapping - handles API spec analysis and conversion

Core data transformation model for Anova design specification tools

A TypeScript custom transformer for inlining files

X/Twitter intelligence plugin for Paperclip

Privacy-first post analytics for EmDash CMS. Per-post views, read rate, time on page, and referrer tracking — all self-hosted.

Smart contracts for title documents : TitleFlow, TitleFlowFactory, TitleFlowRegistry, TitleFlowRelayFacet

tronweb-mobile is a JavaScript library provided for use within the **TronLink App**, designed to integrate Tron-related capabilities into DApp environments.

AI Code Analysis Engine - Production-ready CLI for intelligent code analysis

Force-directed graph layout in 1D, 2D or 3D using velocity Verlet integration.

A plugin dedicated to bots being like endermen.

Continuity-aware cloth simulation and rendering contracts for Plasius WebGPU stacks.