
tty7
tty7 is a fast, GPU-accelerated terminal workbench with persistent sessions, built-in input tools, SSH support, and coding agent awareness.
它无需安装 TeX 即可在终端中实现高质量的数学公式渲染,采用非阻塞的进程内渲染和内容寻址缓存,并支持流式 Markdown 和可复制的 LaTeX 降级方案。
Ratatex
TeX-quality display math that scrolls with your Ratatui UI.
Nanocodex demo · Try it · Embed it · Streaming · Selection · Scrolling
https://github.com/user-attachments/assets/9012dcc3-b7d2-44d0-acdf-c94cc73ed5f7
A live Nanocodex low-reasoning run: render TeX, click back to source, and drag-copy the original LaTeX.
Ratatex turns Markdown display math into cell-aligned PNGs on bounded background workers:
Markdown display math
→ RaTeX parse + TeX layout in-process
→ embedded KaTeX fonts + tiny-skia at 3× resolution
→ antialiasing, padding, and cell alignment
→ content-addressed PNG cache
→ Kitty virtual placement + Unicode-placeholder cells
Rendering uses the open-source RaTeX parser, layout engine, embedded fonts, and rasterizer entirely in-process. Ratatex never invokes a system TeX installation, writes DVI, or starts a rendering subprocess. Unsupported expressions return a typed failure so the host application can keep its text representation.
The placeholder cells live in the normal Ratatui buffer. Equations therefore scroll and clip with the surrounding text instead of behaving like cursor-positioned overlays.
cargo add ratatex
Ghostty, Kitty, WezTerm, and recent Konsole releases implement the graphics protocol. When running inside tmux, enable graphics passthrough:
set -g allow-passthrough on
From a compatible terminal:
cargo run --example demo
Press q, Esc, or Ctrl-C to leave the demo.
Query the terminal after entering the alternate screen and before starting a competing input reader. Build one renderer for the application, not one per formula:
use std::{io::Write, time::Duration};
use ratatex::{FormulaState, FormulaWidget, Ratatex, TerminalProfile};
TeX-quality display math for Ratatui with Kitty Unicode placeholders
根据分类、Topic 和编程语言匹配的相似项目。

tty7 is a fast, GPU-accelerated terminal workbench with persistent sessions, built-in input tools, SSH support, and coding agent awareness.
reims-vgpu is an experimental virtual GPU for macOS guests that uses QEMU to decode the guest's GPU command stream and execute it through Metal or Vulkan, leveraging the built-in AppleParavirtGPU driver without requiring custom kexts.
A Rust library that provides secure memory handling primitives including zeroization on drop, memory locking, constant-time comparison, and compile-time guarded regions, with zero dependencies and no_std support.