Coq
数学的正式证明管理系统。
教育
您不可能无所不知，但您可以通过这些教育应用程序来扩展您的知识，几乎涵盖任何内容 – 从语言和音乐到数学或科学。
- 应用程序
- 教育
- 来源
- 激活
- 许可
- 芯片
MagicPlot Student
面向理工科学生的数据处理工具。
Clarion
音乐间隔测验器。
VeBest Astrology
适用于专业占星家和业余爱好者的强大软件。
BookTracker
跟踪您拥有的书籍。
ATutor
基于 Web 的教学内容分发（候选版本）。
PCalc
功能齐全的科学计算器。
CalcTape
一种新型的袖珍计算器。
Aviation Exam
EASA 和 FAA 考试的备考工具。
MoonLight
精确计算并显示月亮天数。
Sequencher
DNA 的序列分析。
Avogadro2
高级分子编辑器和可视化器（测试版）。
Physics 101
物理作业和学习助理。
E-Book Viewer
电子书查看器。
Hesperides
J.R.R. 托尔金的辛达林语词典。
INDIGO Script Editor
脚本工具。
Color by Numbers – Flowers
在学习识别数字的同时创造鲜艳的花朵。
Moodle
制作/管理教育网站。
Tofu
快速文本阅读器。
MacArgon
模拟矿物和岩石中的氩保留。
Checksum Calculator
文件校验和计算实用程序。
Realms
了解世界各国和首都城市。
Lyttony
无尽的创意故事开场白现在触手可及。
Translator and Dictionary
以其他语言探索。
WeatherTracker
从控制台到 Mac 的实时天气。
EngageX
FileWave Engage 系统的伴侣。
GradingCalc
成绩计算器。
Kiwix
Web 内容的脱机阅读器。
120BassChords
立即弹奏贝斯吉他和弦。
Equal
在您键入时实时计算。