Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
Repository Index
47,133 repositories indexed
1–24 of 226 · Most stars
MLX: An array framework for Apple silicon
- mlx
Burn is a next generation tensor library and Deep Learning Framework that doesn't compromise on flexibility, efficiency and portability.
- autodiff
- deep-learning
- machine-learning
- rust
An extensive math library for JavaScript and Node.js
- math
- javascript
- complex-numbers
- matrices
Count your code, quickly.
- tokei
- cloc
- badge
- rust
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
NumPy & SciPy for GPU
- cuda
- cudnn
- cublas
- cusolver
OpenGL Mathematics (GLM)
- glm
- opengl
- mathematics
- vector
Sloc, Cloc and Code: scc is a very fast accurate code counter with complexity calculations and COCOMO estimates written in pure Go
- sloccount
- cloc
- complexity
- tokei
Gonum is a set of numeric libraries for the Go programming language. It contains libraries for matrices, statistics, optimization, and more
Qiskit is an open-source SDK for working with quantum computers at the level of extended quantum circuits, operators, and primitives.
- quantum-computing
- qiskit
- sdk
- quantum-programming-language
Efficiently computes derivatives of NumPy code.
- autograd
- automatic-differentiation
- numpy
- python
Arbitrary-precision fixed-point decimal numbers in Go
- go
- decimals
- precision
- money
🔩 Like builtins, but boltons. 250+ constructs, recipes, and snippets which extend (and rely on nothing but) the Python standard library. Nothing like Michael Bolton.
- python
- utilities
- cache
- data-structures
A Python-embedded modeling language for convex optimization problems.
- python
- cvxpy
- optimization
- modeling-language
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- proof-assistant
- coq
- theorem-proving
- dependent-types
OHIF zero-footprint DICOM viewer and oncology specific Lesion Tracker, plus shared extension packages
- nci-itcr
- nci-qin
- quantitative-imaging
- imaging-informatics
N-D labeled arrays and datasets in Python
Mesa is an open-source Python library for agent-based modeling, ideal for simulating complex systems and exploring emergent behaviors.
- mesa
- agent-based-modeling
- agent-based-simulation
- simulation-framework
A fast and flexible implementation of Rigid Body Dynamics algorithms and their analytical derivatives
- robotics
- dynamics
- analytical-derivatives
- kinematics
Math.NET Numerics
- math
- numerics
- linear-algebra
- fsharp
C++ tensors with broadcasting and lazy computing
- c-plus-plus-14
- numpy
- multidimensional-arrays
- tensors
PennyLane is an open-source quantum software platform for quantum computing, quantum machine learning, and quantum chemistry. Create meaningful quantum algorithms, from inspiration to implementation.
High-performance C++ library for multiphysics and multibody dynamics simulations