Animation engine for explanatory math videos
- python
- animation
- explanatory-math-videos
- 3b1b-videos
Repository Index
47,133 repositories indexed
1–13 of 13 · 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
TranslatedA knowledge graph for mathematics (primary school to high school), English (grade 3 to high school), and junior high school physics: 1,644 knowledge points, 2,403 prerequisite edges, and 6,723 questions, aligned with the curriculum standards, with an adaptive prerequisite diagnostic.
- 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.
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