bmorphism-stars

Files (1)

• SKILL.md

SKILL.md (first lines)

# bmorphism Stars & Repos Index

> *"A library is a curated chaos."*

## Top Created Repositories

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

## Selected Starred Repositories

### Category Theory & Math

- [homalg-project/CategoricalTowers](https://github.com/homalg-project/CategoricalTowers) - Higher categorical structures
- [zenna/Omega.jl](https://github.com/zenna/Omega.jl) - Probabilistic programming
- [gjoncas/Lacan-Mathemes](https://github.com/gjoncas/Lacan-Mathemes) - Formalized Lacan

### Julia Scientific

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

### Emacs & Editors

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

### AI/ML

- [yang-song/score_sde](https://github.com/yang-song/score_sde) - Score-based diffusion
- [volcengine/verl](https://github.com/volcengine/verl) - RL for LLMs
- [allenai/SAGE](https://github.com/allenai/SAGE) - AI safety
- [deepseek-ai/DeepSeek-Math-V2](https://github.com/deepseek-ai/DeepSeek-Math-V2) - Math reasoning
- [malbergo/stochastic-interpolants](https://github.com/malbergo/stochastic-interpolants) - Generative models

### Distributed Systems

- [jepsen-io/jepsen](https://github.com/jepsen-io/jepsen) - Distributed systems testing
- [jepsen-io/knossos](https://github.com/jepsen-io/knossos) - Linearizability checker
- [mutagen-io/mutagen](https://github.com/mutagen-io/mutagen) - File sync

### Scheme & Lisp

- [scheme-requests-for-implementation/srfi-69](https://github.com/scheme-requests-for-implementation/srfi-69) - Hash tables
- [PollRobots/scheme](https://github.com/PollRobots/scheme) - Scheme interpreter
- [6cdh/tree-sitter-scheme](https://github.com/6cdh/tree-sitter-scheme) - Tree-sitter grammar

### Haskell

- [tweag/awesome-learning-haskell](https://github.com/tweag/awesome-learning-haskell) - Learning resources
- [tweag/ifl2025-liquidhaskell](https://github.com/tweag/ifl2025-liquidhaskell) - LiquidHaskell
- [jajaperson/obsidian-literate-haskell](https://github.com/jajaperson/obsidian-literate-haskell) - Literate programming

### Web3 & Crypto

- [Dstack-TEE/dstack](https://github.com/Dstack-TEE/dstack) - TEE stack
- [privacy-ethereum/zkID](https://github.com/privacy-ethereum/zkID) - Zero-knowledge identity
- [pluralitybook/plurality](https://github.com/pluralitybook/plurality) - Digital democracy

### Applied Category Theory

- [agentskills/agentskills](https://github.com/agentskills/agentskills) - AI agent skills
- [hdresearch/rhizome](https://github.com/hdresearch/rhizome) - Knowledge graphs
- [boogie-org/boogie-friends](https://github.com/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

From plurigrid/asi, MIT.

More from plurigrid/asi