Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
Repository Index
47,133 repositories indexed
1–24 of 184 · Most stars
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
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
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
Official repository for the Boltz biomolecular interaction models
- binding-prediction
- drug-discovery
- protein-structure
3D visualization and mesh analysis for science and engineering
- vtk
- python
- visualization
- 3d
Trainable, memory-efficient, and GPU-friendly PyTorch reproduction of AlphaFold 2
- pytorch
- protein-structure
- alphafold2
Multi-language suite for high-performance solvers of differential equations and scientific machine learning (SciML) components. Ordinary differential equations (ODEs), stochastic differential equations (SDEs), delay differential equations (DDEs), differential-algebraic equations (DAEs), and more in Julia.
- differential-equations
- differentialequations
- julia
- ode