编写编程语言和演算定义的工具
https://www.cl.cam.ac.uk/~pes20/ott/
许可证: BSD-3-Clause
公式 JSON API: /api/formula/ott.json
公式代码: ott.rb
在 GitHub 上
提供瓶装(二进制包)安装支持
Apple Silicon | sonoma | ✅ |
---|---|---|
ventura | ✅ | |
monterey | ✅ | |
Intel | sonoma | ✅ |
ventura | ✅ | |
monterey | ✅ | |
64位linux | ✅ |
当前版本
稳定版 | ✅ | 0.33 |
HEAD | ⚡️ | HEAD |
构建源代码时取决于
gmp | 6.3.0 | GNU 高精度算术库 |
ocaml | 5.2.0 | ML 家族的通用编程语言 |
opam | 2.2.0-2 | OCaml 软件包管理器 |
分析
安装(30天) | |
---|---|
ott |
2 |
请求安装(30天) | |
ott |
2 |
构建错误(30天) | |
ott |
0 |
安装(90天) | |
ott |
38 |
请求安装(90天) | |
ott |
38 |
安装(365天) | |
ott |
227 |
请求安装(365天) | |
ott |
227 |