Remove critical CSS from your stylesheet after inlining it in your pages

cave — CLI for parsing, storing, querying and exporting CAVE knowledge.

Tree-sitter grammar for CAVE — the canonical grammar artifact behind editor and terminal highlighting.

Group echo cave

CAVE syntax highlighting — web-tree-sitter over the @cavelang/tree-sitter-cave grammar, rendered to ANSI for terminals.

Cave Effect CLI

CAVE text to AST parser built on @prelude/parser combinators.

CAVE domain model — claims, values, units, uncertainty, claim keys, UUIDv7 transactions.

CAVE canonicalization — verb lifecycle and inverse registry, continuation expansion, canonical emitter.

Type declarations for the cave API used in 3DS applets

CAVE-Q — graph-pattern queries with variables, lifecycle and inverse verbs, transitive hops, and filters.

Typed, replayable CAVE snapshot and ephemeral-overlay bindings for decision and solver inputs.

CAVE SQLite persistence — explicit runtime adapters, append-only belief series, and lifecycle-aware reads.

CAVE probabilistic layer — Bayesian fusion of numeric estimates, noisy-AND conditional confidence, hypothesis helpers.

Solver-neutral models, bounded verification workflows, validation, and result contracts for CAVE formal reasoning.

Optional Node.js Z3 WebAssembly adapter and allowlisted workflow fixture for CAVE formal reasoning.

A mysterious cave where the sound is echoed over and over again.

Generate 2D cave layouts in JavaScript

parser for Chip Hopper's survey data format used in Fisher Ridge Cave System

plain-seed-cave