Search

Native macOS control center for AI coding agents — monitor sessions, approve actions, and jump back instantly.

Modeling language for Mathematical Optimization (linear, mixed-integer, conic, semidefinite, nonlinear)

A Julia interface to the Ipopt nonlinear solver

A modern smooth scrolling library.

A Julia/JuMP Package for Power Network Optimization

A data structure for mathematical optimization problems

A JuMP-based Nonlinear Integer Program Solver

Vimium/Easymotion like navigation for tmux.

Snappy and configuration-free text editor/IDE for the terminal. Suitable for writing git commit messages, editing Markdown, config files, source code, man pages and for quick edit-format-compile cycles when programming. Has syntax highlighting, jump-to-error, rainbow parentheses, macros, cut/paste portals, LSP support and a simple gdb+dlv frontend.

njt (npm jump to): a quick navigation tool for npm packages

A datetime library for Rust that encourages you to jump into the pit of success.

Activity跳转拦截器 | Activity Jump Interceptor

EditorJumper is a JetBrains IDE plugin that allows you to seamlessly jump between JetBrains IDE and other popular code editors (such as VS Code, Cursor, Trae, and Windsurf). It maintains your cursor position and editing context, greatly improving development efficiency in multi-editor environments.

macOS Dynamic Island for AI coding agents. Monitor, approve, and jump to Claude Code sessions from the notch.

Research-grade Python library for characteristic-function option pricing across stochastic-volatility, jump, Lévy, and hybrid models, with validated Fourier engines and reproducible benchmarks.

Delta exec Roblox PC mobile game assistant Autofarm, automatic questing, item collector, world teleports, chest tracker. Supported modes: Blox Fruits, Pet Simulator 99, Anime Defenders, MM2, Sol’s RNG. Speed simulator, high jump, flight mode, infinite resources, mobile optimization, cloud configs.

启SSH (qssh) — 开源、高颜值、便携的 SSH 远程连接工具。支持多语言、数据库管理、跳板机、审计日志，一站式智能运维。 qssh — Open-source, elegant & portable SSH client. Multilingual, database management, jump host, audit logging & more.

Run many Claude Code sessions across your projects, each in its own tmux session — then list them, see which are done vs. still working, and jump to one from a single popup.

🔮 Run all your AI coding agents in tmux: jump to the one that needs you, spawn them into worktrees, and hand work between them

Cmd+K and auto tab title for herdr: fuzzy-jump to any tab, agent, repo or branch.

Perfect Dark PC port fork: jump, combat roll, melee combos, third person, 80 simulants, spectator camera, screenshots and video recording. Bring your own ROM.