Mooncake.jl是一个为Julia语言设计的自动微分编译器，旨在提供一种全新的方式来进行数学运算的自动微分，以提高计算效率和准确性。它支持复杂的数学运算，并优化计算过程，以便更好地集成到现有的Julia项目中。

OpenLibm是一个旨在提供高质量、可移植、独立的C语言数学库（libm），其质量超过Android源代码中的fdlibm。

TemplateBot是一个全面的工具，旨在帮助用户掌握Notion模板，创建自定义小部件，设计精准公式，优化Gumroad商店，并生成引人入胜的推特营销文案。

基于 DeepSeek AI 的数学动画生成器，它使用 Manim 库来自动化地将复杂的数学概念转换为动画，并且支持通过模型优化和训练直接一次性生成高质量的动画。

Judi.jl是一个用于对向量、矩阵和张量表达式进行微分的库，支持高效的符号微分，提供简单易用的接口，适用于科学计算和机器学习领域的自动微分需求。