bmorphism Stars & Repos Index

"A library is a curated chaos."

Top Created Repositories

| Stars | Repository | Description | |-------|------------|-------------| | 60 | ocaml-mcp-sdk | OCaml SDK for MCP using Jane Street's oxcaml_effect | | 23 | risc0-cosmwasm-example | CosmWasm + zkVM RISC-V EFI template | | 23 | anti-bullshit-mcp-server | Epistemological analysis via MCP | | 18 | say-mcp-server | macOS TTS via MCP | | 16 | babashka-mcp-server | Babashka Clojure scripting via MCP | | 12 | manifold-mcp-server | Manifold Markets prediction markets | | 8 | penrose-mcp | Penrose diagrams for Infinity-Topos | | 7 | nats-mcp-server | NATS messaging via MCP | | 6 | marginalia-mcp-server | Marginalia annotations | | 3 | awesome-applied-category-theory | ACT community resources | | 2 | Gay.jl | Wide-gamut color sampling with splittable determinism |

Selected Starred Repositories

Category Theory & Math

• homalg-project/CategoricalTowers - Higher categorical structures
• zenna/Omega.jl - Probabilistic programming
• gjoncas/Lacan-Mathemes - Formalized Lacan

Julia Scientific

• EnzymeAD/Enzyme.jl - Automatic differentiation
• EnzymeAD/Reactant.jl - XLA compilation
• Julia-Tempering/Pigeons.jl - Parallel tempering (SPI pattern!)
• baggepinnen/MonteCarloMeasurements.jl - Uncertainty propagation
• peterkovesi/PerceptualColourMaps.jl - Perceptual color maps
• gdalle/SparseMatrixColorings.jl - Graph coloring for AD

Emacs & Editors

• justbur/emacs-which-key - Key binding help
• abo-abo/hydra - Sticky key bindings
• abo-abo/avy - Jump to visible text
• minad/corfu - Completion overlay
• oantolin/orderless - Orderless completion
• radian-software/straight.el - Package manager
• tvraman/emacspeak - Audio desktop

AI/ML

• yang-song/score_sde - Score-based diffusion
• volcengine/verl - RL for LLMs
• allenai/SAGE - AI safety
• deepseek-ai/DeepSeek-Math-V2 - Math reasoning
• malbergo/stochastic-interpolants - Generative models

Distributed Systems

• jepsen-io/jepsen - Distributed systems testing
• jepsen-io/knossos - Linearizability checker
• mutagen-io/mutagen - File sync

Scheme & Lisp

• scheme-requests-for-implementation/srfi-69 - Hash tables
• PollRobots/scheme - Scheme interpreter
• 6cdh/tree-sitter-scheme - Tree-sitter grammar

Haskell

• tweag/awesome-learning-haskell - Learning resources
• tweag/ifl2025-liquidhaskell - LiquidHaskell
• jajaperson/obsidian-literate-haskell - Literate programming

Web3 & Crypto

• Dstack-TEE/dstack - TEE stack
• privacy-ethereum/zkID - Zero-knowledge identity
• pluralitybook/plurality - Digital democracy

Applied Category Theory

• agentskills/agentskills - AI agent skills
• hdresearch/rhizome - Knowledge graphs
• boogie-org/boogie-friends - Verification tools

MCP Server Constellation

bmorphism's MCP servers form a constellation:

                    ┌─────────────────┐
                    │  ocaml-mcp-sdk  │ ← Core SDK
                    └────────┬────────┘
                             │
        ┌────────────────────┼────────────────────┐
        │                    │                    │
┌───────▼───────┐  ┌─────────▼─────────┐  ┌──────▼──────┐
│ babashka-mcp  │  │ anti-bullshit-mcp │  │  say-mcp    │
│   Clojure     │  │  Epistemology     │  │   TTS       │
└───────────────┘  └───────────────────┘  └─────────────┘
        │                    │                    │
┌───────▼───────┐  ┌─────────▼─────────┐  ┌──────▼──────┐
│ manifold-mcp  │  │   penrose-mcp     │  │  nats-mcp   │
│ Prediction    │  │   Diagrams        │  │  Messaging  │
└───────────────┘  └───────────────────┘  └─────────────┘

GF(3) Color Classification

Classify starred repos by trit:

| Trit | Category | Example Repos | |------|----------|---------------| | -1 | Foundational (cold) | Jepsen, SRFI, homalg | | 0 | Infrastructure (neutral) | MCP servers, mutagen | | +1 | Application (warm) | AI/ML, Web3 |

Integration with Music Topos

# Use bmorphism stars as seed source
module BmorphismStars
  SEED = 0x626d6f727068 # "bmorph" as hex
  
  def self.color_for_repo(repo_name)
    index = repo_name.bytes.sum
    GenesisChain.color_at(SEED, index)
  end
end

Commands

just bmorphism-stars      # List all starred repos
just bmorphism-mcp        # List MCP server repos
just bmorphism-act        # Filter applied category theory
just bmorphism-random     # Random starred repo

Scientific Skill Interleaving

This skill connects to the K-Dense-AI/claude-scientific-skills ecosystem:

Graph Theory

• networkx [○] via bicomodule
  • Hub for all graph/network skills

Bibliography References

• general: 734 citations in bib.duckdb

SDF Interleaving

This skill connects to Software Design for Flexibility (Hanson & Sussman, 2021):

Primary Chapter: 10. Adventure Game Example

Concepts: autonomous agent, game, synthesis

GF(3) Balanced Triad

bmorphism-stars (−) + SDF.Ch10 (+) + [balancer] (○) = 0

Skill Trit: -1 (MINUS - verification)

Secondary Chapters

• Ch4: Pattern Matching
• Ch6: Layering
• Ch5: Evaluation
• Ch7: Propagators

Connection Pattern

Adventure games synthesize techniques. This skill integrates multiple patterns.

Cat# Integration

This skill maps to Cat# = Comod(P) as a bicomodule in the equipment structure:

Trit: 0 (ERGODIC)
Home: Prof
Poly Op: ⊗
Kan Role: Adj
Color: #26D826

GF(3) Naturality

The skill participates in triads satisfying:

(-1) + (0) + (+1) ≡ 0 (mod 3)

This ensures compositional coherence in the Cat# equipment structure.