Skill Claude CodeCodex
ACSets (Attributed C-Sets): Algebraic databases as in-memory data structures. Category-theoretic formalism for relational databases generalizing graphs and data frames.
61 1mo ago A 42 tokens
MIT
Skill Claude CodeCodex
Bisimulation game for resilient skill dispersal across AI agents with GF(3) conservation and observational bridge types.
61 1mo ago A 28 tokens
MIT
Skill Claude CodeCodex
Skill "bmorphism-stars" from plurigrid/asi, covering bmorphism stars & repos index, top created repositories, selected starred repositories, category theory & math and julia scientific.
61 1mo ago A 37 tokens
MIT
borkdude
52Skill Claude CodeCodex
Guidance for selecting the right ClojureScript runtime across scripting, browser, Node, and embedded use.
61 1mo ago A 27 tokens
MIT
Skill Claude CodeCodex
CIDER integration for Clojure development with nREPL.
61 1mo ago A 18 tokens
MIT
Skill Claude CodeCodex
Semantic embeddings for Clojure code navigation via CIDER.
61 1mo ago A 16 tokens
MIT
Skill Claude CodeCodex
Skill "clj-kondo-3color" from plurigrid/asi, covering clj-kondo 3-color integration, diagnostic trit mapping, configuration, .clj-kondo/config.edn and plurigrid/asi safety hooks.
61 1mo ago A 35 tokens
MIT
Skill Claude CodeCodex
Lisp machine self-modification patterns via MCP Tasks and Narya bridge types.
61 1mo ago A 21 tokens
MIT
Skill Claude CodeCodex
Propagator-based parallel structure for exploiting knowledge differentials across domains using local scoped propagators and SplitMixTernary RNG.
61 1mo ago A 33 tokens
MIT
Skill Claude CodeCodex
AI-guided UI/UX design patterns with Gay.jl deterministic colors.
61 1mo ago A 17 tokens
MIT
gay-mcp
59Skill Claude CodeCodex
Deterministic color generation with SplitMix64, GF(3) trits, and MCP tools for palettes and threads.
61 1mo ago A 29 tokens
MIT
Skill Claude CodeCodex
Geiser REPL integration for Chicken Scheme with SplitMixTernary 3-coloring and crdt.el sexp patterns.
61 1mo ago A 31 tokens
MIT
Skill Claude CodeCodex
Hesse-inspired interdisciplinary synthesis game with Badiou triangle inequality for possible world hopping across mathematical, musical, and philosophical domains.
61 1mo ago A 30 tokens
MIT
Skill Claude CodeCodex
Chicken Scheme Hatchery eggs and academic papers for color logic, 2TDX, colored operads, and higher observational type theory.
61 1mo ago A 33 tokens
MIT