Tensors and Dynamic neural networks in Python with strong GPU acceleration
- neural-network
- autograd
- gpu
- numpy
Repository Index
67,762 visible repositories in the index
1–24 of 171 · Most stars
Google Research
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
Multi-Joint dynamics with Contact. A general purpose physics simulator.
Play with fluids in your browser (works even on mobile)
- fluid
- webgl
- simulation
- gpu
Open source code for AlphaFold 2.
Google's Operations Research tools:
- combinatorial-optimization
- linear-programming
- operations-research
- optimization
Flexible and powerful tensor operations for readable and reliable code (for pytorch, jax, TF and others)
AlphaFold 3 inference pipeline.
Gonum is a set of numeric libraries for the Go programming language. It contains libraries for matrices, statistics, optimization, and more
- go
- golang
- scientific-computing
- data-analysis
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
The repository host gives no description.
- weather
- weather-forecast
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
A Python framework for GPU-accelerated simulation, robotics, and machine learning.
- differentiable-programming
- python
- gpu-acceleration
- nvidia
Democratizing Deep-Learning for Drug Discovery, Quantum Chemistry, Materials Science and Biology
- drug-discovery
- quantum-chemistry
- deep-learning
- biology
Apache KIE (Knowledge Is Everything) is the home of Drools, OptaPlanner, jBPM, and Kogito.
- rule-engine
- java
- dmn
- hacktoberfest
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
A hardware-agnostic SDK for optimization problems: define a problem once, then lower it to any quantum or classical solver
- constraint-programming
- quantum-computing
- quadratic-programming
ALIEN is a CUDA-powered artificial life simulation program.
- artificial-life
- open-ended-evolution
- agent-based-simulation
- physics-engine
Official git repository for Biopython (originally converted from CVS)
- python
- bioinformatics
- genomics
- biopython
Python framework for creating, editing, and running Noisy Intermediate-Scale Quantum (NISQ) circuits.
- nisq
- quantum-algorithms
- quantum-computing
- cirq
The repository host gives no description.
Browser-based ground station suite for celestial body, mission and satellite tracking, SDR reception, hardware control, and telemetry decoding
- antenna
- fft
- python
- radio