Education

数学

SpeedCrunch

SpeedCrunch 是一个高精度的科学计算器，具有快速、 键盘驱动的用户界面。(SpeedCrunch is a h...

待确定

N/A

快速查看 比較 3.8k

数学

K3DSurf

K3DSurf是一个可以在三维、四维、五维和六维中可视化和操纵数学模型的程序。 K3DSurf支持参数方程和等值面。（K...

GPL-2.0

Shell

快速查看 比較 4.4k

数学

Automatically Tuned Linear Algebra Software (ATLAS)

ATLAS（自动调谐线性代数软件）为任意基于缓存的架构提供高度优化的线性代数内核。 (ATLAS (Automatica...

NOASSERTION

C

快速查看 比較 4.2k

  6.3k

编程

p5.js

p5.js是一个客户端JS平台，它使艺术家，设计师，学生和任何人都能够学会在网络上创造性地编码和表达自己。 它基于Pro...

NOASSERTION

JavaScript

快速查看 比較 4.1k

  5.1k

数学

Coq

Coq 是一个正式的证明管理系统。 它提供了一种形式化的语言来编写数学定义、可执行算法和定理，以及用于机器检查证明的半交...

LGPL-2.1

OCaml

快速查看 比較 6.5k

  8.2k

地理

Blender GIS

Blender 插件，用来搭建 Blender 和地理数据之间的桥梁。「Blender addons to make t...

GPL-3.0

Python

快速查看 比較 12.3k

  27.6k

编程

Python-programming-exercises

100+ Python 挑战性编程练习。「100+ Python challenging programming exe...

AGPL-3.0

N/A

快速查看 比較 2.5k

  1.9k

数学

Seeing Theory

直观介绍概率和统计。「A visual introduction to probability and statisti...

Apache-2.0

HTML

快速查看 比較 1.3k

数学

RedPRL

受 Nuprl 启发而开发的基于策略的计算笛卡尔立方类型理论证明助手。RedPRL 实现了两级立方类型理论，其中包括单等...

MIT

Standard ML

快速查看 比較 1.2k

  0.9k

数学

Stacks Project

Stacks Project 的存储库 -- 代数几何开源教材和参考书。「Repository for the Stac...

NOASSERTION

TeX

快速查看 比較 873

  21k

语言

Anki

Anki 是一个让人容易记住东西的程序。这是用于台式电脑的 Anki。「Anki for desktop compute...

NOASSERTION

Rust

快速查看 比較 1.9k

  2.4k

数学

Python 线性代数讲义

《Python 线性代数讲义》。本系列讲义将引导您了解所有必知概念，这些概念为数据科学或高级定量技能集奠定了基础。适合统...

MIT

Jupyter Notebook

快速查看 比較 1k