effective-topos
FloxHub publication bmorphism/effective-topos - a comprehensive development environment with 606 man pages, 97 Emacs info manuals, and deep integration across Scheme (Guile/Goblins/Hoot), functional languages (OCaml, Haskell, Racket), systems tools (Rust, Go), and Gay.jl deterministic coloring.
Interleaving Index
This skill interconnects:
- Man pages: 606 command-line tool references
- Info manuals: 97 Emacs/Guile/GNU texinfo documents (278K+ lines)
- Gay.jl colors: Deterministic seed-based coloring for all tools
Triadic Tool Categories (GF(3) = {0,1,2})
| Trit | Domain | Tools | Info Manuals | |------|--------|-------|--------------| | 0 | Lisp/Scheme | guile, racket, emacs, elisp | guile.info, elisp.info, goblins.info, hoot.info, r5rs.info | | 1 | ML/Functional | ocaml, ghc, cabal, opam, agda | - | | 2 | Systems/DevOps | cargo, gh, tmux, radare2, just | autoconf.info, libtool.info, m4.info |
Quick Activation
# Pull from FloxHub
flox pull bmorphism/effective-topos
# Activate
flox activate -d ~/.topos
# Access man pages
man gh
man cargo
man opam
# Access info docs (in Emacs)
C-h i # then select manual
Installed Packages (62)
Development Languages
| Package | Description | Man Pages | |---------|-------------|-----------| | ghc | Glasgow Haskell Compiler | ghc(1), 3226 lines | | cabal-install | Haskell build tool | cabal(1), 41536 lines | | ocaml | OCaml compiler | ocaml(1), ocamlopt(1), ... | | opam | OCaml package manager | opam(1) + 45 subcommands | | racket-minimal | Racket language | racket(1) | | guile | GNU Scheme | guile(1) + guile.info (67K lines) | | guile-hoot | Scheme→WebAssembly | hoot.info (4K lines) | | guile-goblins | Actor model | goblins.info (6.5K lines) | | agda | Dependent types | - | | dart | Dart language | dart(1) | | go | Go language | go(1) | | cargo | Rust package manager | cargo(1) + 36 subcommands | | clang | C/C++ compiler | clang(1) |
Emacs Ecosystem
| Package | Info Manual | Lines | |---------|-------------|-------| | emacs-nox | emacs.info | 60654 | | - | elisp.info | 105996 | | - | org.info | 25044 | | - | gnus.info | - | | - | tramp.info | - | | - | use-package.info | 2567 | | - | transient.info | 3302 | | - | eglot.info | 2059 | | - | calc.info | - | | - | eshell.info | - |
CLI Tools
| Package | Man Pages | Description | |---------|-----------|-------------| | gh | 212 pages | GitHub CLI | | tmux | tmux(1), 4309 lines | Terminal multiplexer | | radare2 | radare2(1) | Reverse engineering | | just | just(1) | Command runner | | lazygit | - | Git TUI | | ripgrep | rg(1) | Fast grep | | helix | hx(1) | Modal editor | | tree-sitter | - | Parser generator | | pijul | pijul(1) | Distributed VCS |
Language Servers (LSP)
- gopls, rust-analyzer, pyright, typescript-language-server
- bash-language-server, lua-language-server, yaml-language-server
- ocaml-lsp, java-language-server, vscode-langservers-extracted
Info Manuals Reference (97 documents)
Emacs Core
emacs.info - GNU Emacs Manual (60K lines)
elisp.info - Emacs Lisp Reference (106K lines)
eintr.info - Introduction to Emacs Lisp
efaq.info - Emacs FAQ
Guile/Scheme Ecosystem
guile.info - GNU Guile Reference (67K lines)
r5rs.info - Scheme R5RS Standard
goblins.info - Spritely Goblins (Distributed Objects)
hoot.info - Guile Hoot (Scheme→Wasm)
fibers.info - Guile Fibers (Concurrent ML)
gnutls-guile.info - GnuTLS bindings
guile-gcrypt.info - Cryptography
Org Mode & Productivity
org.info - Org Mode Manual (25K lines)
remember.info - Remember Mode
todo-mode.info - TODO lists
Development Tools
eglot.info - LSP client (2K lines)
transient.info - Transient commands (3.3K lines)
use-package.info - Package configuration (2.5K lines)
ert.info - Emacs Lisp Testing
flymake.info - On-the-fly syntax checking
Build Systems
autoconf.info - Autoconf
libtool.info - Libtool
m4.info - M4 macro processor
standards.info - GNU Coding Standards
Communication
gnus.info - News/Mail reader
message.info - Mail composition
erc.info - IRC client
tramp.info - Remote file editing
Goblins (Distributed Object Programming)
From goblins.info:
Goblins is a distributed object programming environment featuring:
• Quasi-functional object system: objects are procedures that
"become" new versions when handling invocations
• Fully distributed, networked, secure p2p communication via
OCapN (Object Capability Network) and CapTP
• Transactional updates: changes happen within transactions;
unhandled exceptions cause rollback
• Time travel: snapshot old revisions and interact with them
• Asynchronous programming with sophisticated promise chaining
Vat Model
(peer (vat (actormap {refr: object-behavior})))
• Peers: CapTP endpoints on network (OS processes)
• Vats: Communicating event loops
• Actormaps: Transactional heaps
• References → Object Behavior mappings
Key Operators
($ obj method args...) ; Synchronous (near objects only)
(<- obj method args...) ; Asynchronous (near or far)
Guile Hoot (Scheme → WebAssembly)
From hoot.info:
Guile Hoot compiles Scheme to WebAssembly, enabling:
• Run Scheme in browsers and Wasm runtimes
• Full Scheme semantics (tail calls, continuations)
• Integration with JavaScript
• Standalone Wasm modules
Gay.jl Integration
Each tool receives deterministic colors based on seed and index:
using Gay
# Color the effective-topos packages
packages = [
# Trit 0: Lisp/Scheme
"guile", "racket-minimal", "emacs-nox", "guile-goblins", "guile-hoot",
# Trit 1: ML/Functional
"ghc", "cabal-install", "ocaml", "opam", "agda",
# Trit 2: Systems/DevOps
"cargo", "gh", "tmux", "radare2", "just", "go"
]
for (i, pkg) in enumerate(packages)
trit = (i - 1) % 3 # GF(3) assignment
color = Gay.color_at(i, seed=69)
println("[$trit] $pkg: $(color.hex)")
end
Triad Interleaving Pattern
# Interleave Lisp, ML, Systems tools
schedule = Gay.interleave(
[:guile, :racket, :emacs], # Trit 0
[:ghc, :ocaml, :agda], # Trit 1
[:cargo, :gh, :tmux], # Trit 2
seed=69
)
# => [:guile, :ghc, :cargo, :racket, :ocaml, :gh, :emacs, :agda, :tmux]
Tool Quick References
gh (GitHub CLI 2.83.1)
gh <command> <subcommand> [flags]
CORE: auth, browse, codespace, gist, issue, org, pr, project, release, repo
ACTIONS: cache, run, workflow
ADDITIONAL: api, extension, search, secret
cargo (Rust)
cargo <command> [args]
BUILD: bench, build, check, clean, doc, fetch, fix, run, rustc, test
MANIFEST: add, remove, tree, update
PACKAGE: init, new, install, publish, search
opam (OCaml 2.4.1)
opam <command> [args]
install, remove, upgrade, update, switch
list, show, pin, env, exec
repository, config, tree, lock, lint
guile (GNU Scheme 3.0)
guile [options] [script [args]]
-L <dir> Add to load path
-l <file> Load source file
-e <func> Apply function to args
-c <expr> Evaluate expression
-s <script> Execute script
tmux (Terminal Multiplexer)
KEY BINDINGS (prefix: C-b):
d Detach session
c Create window
n/p Next/prev window
% Split vertical
" Split horizontal
z Toggle zoom
[ Copy mode
radare2 (Reverse Engineering)
radare2 [options] <file>
-a <arch> Force architecture
-A Analyze all (aaa)
-c <cmd> Execute command
-d Debugger mode
-n No analysis
Accessing Info in Emacs
;; Open info browser
C-h i
;; Jump to specific manual
C-h i m guile RET
C-h i m elisp RET
C-h i m goblins RET
;; Search within info
C-h i s <search-term>
;; Info commands
n Next node
p Previous node
u Up
l Last visited
m Menu item
g Go to node
s Search
q Quit
Environment Variables
FLOX_ENV="/Users/bob/.topos/.flox/run/aarch64-darwin.effective-topos.dev"
PATH="$FLOX_ENV/bin:$PATH"
MANPATH="$FLOX_ENV/share/man:$MANPATH"
INFOPATH="$FLOX_ENV/share/info:$INFOPATH"
SSL_CERT_FILE="$FLOX_ENV/etc/ssl/certs/ca-bundle.crt"
FloxHub Publication
- Owner: bmorphism
- Name: effective-topos
- URL: https://hub.flox.dev/bmorphism/effective-topos
- Systems: aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
- Man pages: 606
- Info manuals: 97
- Total documentation: ~280K lines
r2con Speaker Resources
radare2 ecosystem repositories from r2con speakers relevant to effective-topos:
| Speaker | Repository | Relevance | |---------|-----------|-----------| | pancake (trufae) | radare2/radare2 | Core r2 included in flox env | | pancake | radare2/r2pipe | Scripting bindings (Guile/OCaml) | | xvilka | radareorg/awesome-decompilation | Decompiler reference | | condret | radareorg/r2ghidra | ESIL + Ghidra bridge | | bmorphism | bmorphism/Gay.jl | Deterministic colors for all tools |