Repository Index

Mesh optimization library that makes meshes smaller and faster to render

• gpu
• mesh-processing
• optimization
• compression

AlphaFold 3 inference pipeline.

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

• go
• golang
• scientific-computing
• data-analysis

TranslatedA knowledge graph for mathematics (primary school to high school), English (grade 3 to high school), and junior high school physics: 1,644 knowledge points, 2,403 prerequisite edges, and 6,723 questions, aligned with the curriculum standards, with an adaptive prerequisite diagnostic.

• chinese
• curriculum
• diagnostic
• edtech

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

OpenBLAS is an optimized BLAS library based on GotoBLAS2 1.13 BSD version.

• blas
• lapack
• lapacke

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

Efficiently computes derivatives of NumPy code.

• autograd
• automatic-differentiation
• numpy
• python

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

🔩 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

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

Free Weather Forecast API for non-commercial use

• weather-api
• weather
• weather-forecast

Differentiable ODE solvers with full GPU support and O(1)-memory backpropagation.

A low-power E-Paper weather display powered by an ESP32 microcontroller. Utilizes the OpenWeatherMap API.

• display
• eink
• embedded
• epaper

Apache KIE (Knowledge Is Everything) is the home of Drools, OptaPlanner, jBPM, and Kogito.

• rule-engine
• java
• dmn
• hacktoberfest

Physics Informed Deep Learning: Data-driven Solutions and Discovery of Nonlinear Partial Differential Equations

A Cloud Native Batch System (Project under CNCF)

• batch-systems
• kubernetes
• golang
• hpc

✨ The fundamental numerical library for JavaScript and TypeScript. ✨                   ⭐️ Star to support our work!

• javascript
• stdlib
• nodejs
• library

An open-source, GPU-accelerated physics simulation engine built upon NVIDIA Warp, specifically targeting roboticists and simulation researchers.

• physics-simulation
• robotics
• nvidia-warp
• newton-physics

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

ALIEN is a CUDA-powered artificial life simulation program.

• artificial-life
• open-ended-evolution
• agent-based-simulation
• physics-engine

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