From asi
Provides 606 man pages and 97 Emacs info manuals for Guile, Racket, OCaml, Haskell, Rust, Go, CLI tools like gh/tmux, and LSP servers via FloxHub. Useful for functional/systems dev reference.
npx claudepluginhub plurigrid/asi --plugin asiThis skill uses the workspace's default tool permissions.
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.
Retrieves documentation, source code, and examples for Elixir Hex packages like Phoenix, Ecto, and Credo, prioritizing local deps and fetching as needed.
Fetches C/C++ examples from cppcheatsheet.com to write functional code, answer questions on modern features, system programming, CUDA GPU computing, debugging, and interview prep.
Share bugs, ideas, or general feedback.
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.
This skill interconnects:
| 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 |
# 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
| 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) |
| 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 | - |
| 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 |
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.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.info - Org Mode Manual (25K lines)
remember.info - Remember Mode
todo-mode.info - TODO lists
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
autoconf.info - Autoconf
libtool.info - Libtool
m4.info - M4 macro processor
standards.info - GNU Coding Standards
gnus.info - News/Mail reader
message.info - Mail composition
erc.info - IRC client
tramp.info - Remote file editing
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
(peer (vat (actormap {refr: object-behavior})))
• Peers: CapTP endpoints on network (OS processes)
• Vats: Communicating event loops
• Actormaps: Transactional heaps
• References → Object Behavior mappings
($ obj method args...) ; Synchronous (near objects only)
(<- obj method args...) ; Asynchronous (near or far)
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
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
# 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]
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 <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 <command> [args]
install, remove, upgrade, update, switch
list, show, pin, env, exec
repository, config, tree, lock, lint
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
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 [options] <file>
-a <arch> Force architecture
-A Analyze all (aaa)
-c <cmd> Execute command
-d Debugger mode
-n No analysis
;; 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
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"
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 |