最新

我在 2012 年创建了 Jedi，2020 年开始开发 ZubanLS，旨在改进 Python 工具。它能够理解 Mypy 配置文件，并通过了超过 95% 的相关 Mypy 测试。欢迎提问。

我用代码实现了一个 Wayland 平台的语音转文本工具，它很适合我使用。你通过一个快捷键触发它，对着麦克风说话，它就会使用 OpenAI Whisper 或 Google STT 进行转录（本地版本即将推出），然后将文本直接输入到你当前活动的文本框中，或者保存到剪贴板。<p>它使用 PipeWire 进行音频捕获，并采用信号驱动方式工作，因此没有后台进程运行。只有在你需要的时候，才会进行按需转录。我已经在 Niri 上测试过它，它应该也能在 Hyprland 上运行，尽管我还没有在 GNOME 或 KDE 上测试过。<p>这是一个用 Rust 编写的一日项目，可能有一些 bug，因为我只是简单地实现了它。它肯定还很粗糙，但它能满足我快速听写的需求。我欢迎任何试用它的人提供反馈和意见。

大家好， 我最近开发了一个免费的 Chrome 扩展程序，名为 Formula to LaTeX，它可以将任何公式从图像、截图直接转换成干净的 LaTeX 代码。 无需注册。只需： 1. 粘贴或拖放公式的图像 2. 立即获得 LaTeX 代码 3. 一键复制 它非常适用于数学、物理和化学公式，如果你正在处理习题、论文或演示文稿，并且不想重新输入复杂的方程式，它会非常有用。 欢迎大家提出任何反馈！我仍在改进它，所以请随意吐槽或分享想法。