Show HN: Woxi - 开源的 Mathematica / Wolfram Language 重新实现
摘要
Woxi 是一个用 Rust 实现的开源 Wolfram Language 解释器,提供浏览器游乐场、CLI、Jupyter 内核和笔记本编辑器。
Woxi 是一个用 Rust 编写的 Wolfram Language 解释器。<p>它附带 Woxi Studio,一个使用 iced 构建的类似 Mathematica 的图形界面,但你也可以通过 CLI、Jupyter 内核、Python 包、npm 包或 WASM 模块使用 Woxi。<p>与 wolframscript / Mathematica 相比,主要区别如下:<p>- 免费且开源
- 启动速度极快——通常是毫秒级,而不是 Wolfram 内核的秒级,这使得 Woxi 非常适合 shell 脚本、单行命令和其他短生命周期进程
- 可嵌入——它可以通过 WASM 在浏览器中运行,也可以作为脚本语言嵌入到其他应用程序中<p>有关与 Mathematica 的更详细比较,请参见:
<a href="https://woxi.ad-si.com/docs/comparison/mathematica/" rel="nofollow">https://woxi.ad-si.com/docs/comparison/mathematica/</a>.<p>一致性由约 26,000 个单元测试和约 900 个 .wls 脚本快照测试保证。<p>当前的重点是修复剩余的边界情况、提高性能和发展社区。<p>如果你使用 Wolfram Language,我会特别感兴趣听到关于兼容性和缺失功能的反馈。
也非常欢迎贡献和错误报告:<a href="https://github.com/ad-si/Woxi" rel="nofollow">https://github.com/ad-si/Woxi</a>
查看缓存全文
缓存时间: 2026/08/12 11:18
# Woxi — 用 Rust 实现的 Wolfram Language 解释器
来源:https://woxi.ad-si.com/
用 Rust 实现的 Wolfram Language 解释器。
---
示例:
一切都在你的浏览器中本地运行。不会向任何地方发送数据。
### 输出
![Sin[x] 的曲线图、条形图和数轴图](https://woxi.ad-si.com/default-row1.svg)
气泡图、一个小图以及多项式的树状形式
---
## 使用 Woxi 的其他方式
上方的 playground 是 Woxi 的多个前端之一——同一个解释器也驱动着全屏 playground、命令行工具、Jupyter 内核(也可通过 JupyterLite 在浏览器中运行),以及原生 notebook 编辑器。
扩展版 Woxi playground,支持并排编辑器和图形输出
### 扩展版 playground
并排的编辑器与输出面板提供更多探索空间。非常适合多行表达式和图形实验。
打开完整版 playground → (https://woxi.ad-si.com/playground/)
终端中的 Woxi 命令行解释器
### 命令行工具
使用 `woxi eval` 计算表达式,直接运行 `.wls` 脚本,或将 Woxi 用作 shebang 解释器。启动速度比 `wolframscript` 更快。
查看脚本指南 → (https://woxi.ad-si.com/docs/scripting/)
运行 Woxi 内核的 Jupyter notebook(https://woxi.ad-si.com/jupyterlite/lab/index.html?path=showcase.ipynb)
### Jupyter 与 JupyterLite
Woxi 以 Jupyter 内核的形式提供。使用 `woxi install-kernel` 在本地安装,或通过捆绑的 JupyterLite 实例在浏览器中运行完整的 notebook 体验——无需安装。
阅读 Jupyter 指南 → (https://woxi.ad-si.com/docs/jupyter/)
Woxi Studio 正在编辑 .nb notebook
### Woxi Studio
面向 Wolfram Language `.nb` 文件的原生 notebook 编辑器。支持基于单元格的编辑、内嵌图形,并可导出为 `.ipynb`、Markdown、LaTeX、Typst 和 PDF。
阅读文档 → (https://woxi.ad-si.com/docs/studio/)
相似文章
Show HN:Wyrm – 通过触摸解代数,基于开源健全性引擎构建
Wyrm 是一个用 TypeScript 编写的开源符号代数引擎,为 iOS 和 Android 上基于手势的代数应用提供支持。它通过条件重写规则在构建时保证健全性,允许用户通过触摸来解方程。
Show HN:Wyzer 编程语言
Wyzer 是一种新的静态类型、编译型编程语言,通过基于所有权的资源模型集成编排式编程,实现分布式安全。
Show HN: Rmux – 一款可编程终端复用器,带有 Playwright 风格 SDK
Rmux 是一款用 Rust 编写的新式可编程终端复用器,提供与 tmux 兼容的命令行接口、类型化 SDK 以及面向智能体工作流的功能,支持在 Linux、macOS 和 Windows 上创建可分离、可脚本化的终端会话。
Show HN: 我花了一个周末用Rust重写了IDE中我唯一使用的部分
Kyde 是一个快速的原生Git客户端和代码编辑器,使用Rust基于Zed的gpui框架构建,具有GPU渲染、并排差异对比、tree-sitter语法高亮以及一个精心调校的深色主题。
Show HN: Nectar——一个类 Rust 的 React,编译为 WebAssembly
Nectar 是一个新型 Web 框架,将类 Rust 代码编译为 WebAssembly,通过 O(1) 信号更新和零依赖构建消除了 JavaScript 依赖。