Animation engine for explanatory math videos
- python
- animation
- explanatory-math-videos
- 3b1b-videos
Repository Index
47,133 repositories indexed
1–15 of 15 · Most stars
pix2tex: Using a ViT to convert images of equations into LaTeX code.
Suite of tools for deploying and training deep learning models using the JVM. Highlights include model import for keras, tensorflow, and onnx/pytorch, a modular and tiny c++ library for running math code and a java based math library on top of the core c++ library. Also includes samediff: a pytorch/tensorflow like library for running deep learn...
- java
- gpu
- deeplearning
- neural-nets
数学（小学到高中）、英语（三年级到高中）、初中物理的知识图谱：1644 个知识点、2403 条先修边、6723 道题，对齐课标，附自适应前置诊断。
- chinese
- curriculum
- diagnostic
- edtech
The animation engine for agents: blazingly fast math and 3D videos with Manim's Python API, on a Rust GPU core.
Owl - OCaml Scientific Computing @ https://ocaml.xyz
- matrix
- linear-algebra
- ndarray
- statistical-functions
:chart_with_upwards_trend: Adaptive: parallel active learning of mathematical functions
- adaptive-learning
- machine-learning
- python
- live-plots
A command-line utility for quick math.
A collection of useful mathematical functions in Elixir with a slant towards statistics, linear algebra and machine learning
SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)
- spoc
- ocaml
- opencl
- cuda
👩💻 Matrix and other math, accelerated by WebGPU and WASM
C# math expression library with symbolic computation support
- csharp
- dotnet
- expression-parser
- math
Tool for suggesting lemma names in Coq verification projects
- coq
- machine-learning
- name-generation
- pytorch
GoStats is a go library for math statistics mostly used in ML domains, it covers most of the statistical measures functions.
- golang
- go
- machine-learning
- stats
Conflict-free merge for DataFrames, JSON, ML models & distributed agents — powered by CRDTs. The first merge library where every operation is mathematically guaranteed to converge.
- collaborative-editing
- conflict-resolution
- crdt
- data-engineering