majiayu000 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.