Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
Repository Index
47,133 repositories indexed
1–24 of 265 · Most stars
Optimizing compiler for React
- hacktoberfest
- million
- millionjs
- virtual-dom
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
Google's Operations Research tools:
- combinatorial-optimization
- linear-programming
- operations-research
- optimization
Open3D: A Modern Library for 3D Data Processing
- mesh-processing
- computer-graphics
- opengl
- cpp
The Z3 Theorem Prover
AI Toolkit for Healthcare Imaging
- healthcare-imaging
- deep-learning
- medical-image-computing
- medical-image-processing
A Python implementation of global optimization with gaussian processes.
- optimization
- gaussian-processes
- bayesian-optimization
- python
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
Draco is a library for compressing and decompressing 3D geometric meshes and point clouds. It is intended to improve the storage and transmission of 3D graphics.
- point-cloud
- 3d-graphics
- compression
- mesh
Arbitrary-precision fixed-point decimal numbers in Go
- go
- decimals
- precision
- money
A JavaScript library for arbitrary-precision decimal and non-decimal arithmetic
- bignumber
- javascript
- arbitrary-precision
- decimal-places
Genetic Algorithm, Particle Swarm Optimization, Simulated Annealing, Ant Colony Optimization Algorithm,Immune Algorithm, Artificial Fish Swarm Algorithm, Differential Evolution and TSP(Traveling salesman)
- genetic-algorithm
- pso
- particle-swarm-optimization
- tsp
A Python-embedded modeling language for convex optimization problems.
- python
- cvxpy
- optimization
- modeling-language
The public CGAL repository, see the README below
- cgal
- c-plus-plus
- geometry
- algorithms
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
Official git repository for Biopython (originally converted from CVS)
- python
- bioinformatics
- genomics
- biopython
Simple MPL-2.0-licensed C++ geometry processing library.
- geometry-processing
Python framework for creating, editing, and running Noisy Intermediate-Scale Quantum (NISQ) circuits.
- nisq
- quantum-algorithms
- quantum-computing
- cirq
OHIF zero-footprint DICOM viewer and oncology specific Lesion Tracker, plus shared extension packages
- nci-itcr
- nci-qin
- quantitative-imaging
- imaging-informatics