Popular repositories Loading

1. codex-as codex-as Public

   Run Codex with saved auth/provider profiles without permanently rewriting auth.json or config.toml

   Shell 2

2. axiweave.github.io axiweave.github.io Public

   HTML

3. lean4-mode lean4-mode Public

   Emacs major mode for Lean 4

   Emacs Lisp

4. claude-code-ide.el claude-code-ide.el Public

   Feature-rich Claude Code IDE integration for Emacs with multi-session management

   Emacs Lisp