Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
Repository Index
47,133 repositories indexed
1–24 of 256 · Most stars
:partly_sunny: The right way to check the weather
- weather-information
- weather-api
- curl
- weather
Open3D: A Modern Library for 3D Data Processing
- mesh-processing
- computer-graphics
- opengl
- cpp
OpenGL Mathematics (GLM)
- glm
- opengl
- mathematics
- vector
AI Toolkit for Healthcare Imaging
- healthcare-imaging
- deep-learning
- medical-image-computing
- medical-image-processing
weather app for the terminal
- go
- wego
- forecast
- weather
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
🔩 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
Free Weather Forecast API for non-commercial use
- weather-api
- weather
- weather-forecast
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
Manipulation and analysis of geometric objects
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
Eclipse SUMO is an open source, highly portable, microscopic and continuous traffic simulation package designed to handle large networks. It allows for intermodal simulation including pedestrians and comes with a large set of tools for scenario creation.
- traffic
- simulation
- transport
Model-rocketry aerodynamics and trajectory simulation software
- aerospace
- flight-simulator
- java
- modeling
High-performance C++ library for multiphysics and multibody dynamics simulations
Public development project of the LAMMPS MD software package
- molecular-dynamics
- lammps
- simulation
- kokkos
DO NOT CHECK OUT THESE FILES FROM GITHUB UNLESS YOU KNOW WHAT YOU ARE DOING. (See below.)
NSGA2, NSGA3, R-NSGA3, MOEAD, Genetic Algorithms (GA), Differential Evolution (DE), CMAES, PSO
- optimization
- multi-objective-optimization
- nsga2
- nsga3
High-performance C++ multibody dynamics/physics library for simulating articulated biomechanical and mechanical systems like vehicles, robots, and the human skeleton.
- multibody-dynamics
- physics-engine
- physics-simulation
- robotics
Message Passing Neural Networks for Molecule Property Prediction
- machine-learning
- chemistry
- neural-networks
- drug-discovery
Powerful modern math library for PHP: Features descriptive statistics and regressions; Continuous and discrete probability distributions; Linear algebra with matrices and vectors, Numerical analysis; special mathematical functions; Algebra