mathematics

用多種程式語言實現的各種演算法與資料結構儲存庫。

:triangular_ruler: Python 中的數值積分（求積法、多維求積法）

放棄嘗試。

lambdaworks 提供 SNARKs 與 STARKs 證明器的實作，並具備靈活運用其個別組件來建構自訂 SNARKs 的能力。

一個數學題目產生器，旨在為自學學生和教學機構提供輕鬆取得符合其需求的高品質自動產生數學題目的管道。

用於互動式（數學）內容的 JavaScript 框架。

Python 的 3D 變換庫

:1234: 位元、位元組與通用計算機

:spider_web: CGAL 網格化工具的 Python 介面

GNU TeXmacs SVN 鏡像

:spider_web: 網格最佳化、網格平滑。

igraph R 套件

Mogan STEM 套件（基於 GNU TeXmacs）：享受探索科學與技術的樂趣！

圖論互動式視覺化工具。

Lean 定理證明介面，提供如同紙筆書寫般的證明體驗。

人工智慧數學基礎的實用指南

建立基礎加減乘除練習題與答案卷

函數群：JS 中的組合子、Lambda 演算與邱奇編碼

muparser 是一個適用於 C/C++ 的快速數學解析器函式庫，支援（可選）OpenMP。

擁有眾多 Manim 使用者與內容創作者的資料庫

一個用於代數、幾何與數論計算的綜合性開源電腦代數系統

一系列關於數學、演算法與程式設計的互動式教學、演示與測驗。