Sign in

Repository Index

86,076 visible repositories in the index

Tags: Science and math
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

1–24 of 258 · Most stars

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

Suite of tools for deploying and training deep learning models using the JVM. Highlights include model import for keras, tensorflow, and onnx/pytorch, a modular and tiny c++ library for running math code and a java based math library on top of the core c++ library. Also includes samediff: a pytorch/tensorflow like library for running deep learn...

Qiskit is an open-source SDK for working with quantum computers at the level of extended quantum circuits, operators, and primitives.

A Python framework for GPU-accelerated simulation, robotics, and machine learning.

  • differentiable-programming
  • python
  • gpu-acceleration
  • nvidia

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

  • javascript
  • stdlib
  • nodejs
  • library

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.

The fastest and most memory efficient lattice Boltzmann CFD software, running on all GPUs and CPUs via OpenCL. Free for non-commercial use.

  • cfd
  • computational-fluid-dynamics
  • gpu
  • gpu-computing

A Swift library that uses the Accelerate framework to provide high-performance functions for matrix math, digital signal processing, and image manipulation.

  • swift
  • accelerate
  • math
  • arithmetic

A large scale non-linear optimization library

  • c-plus-plus
  • numerical-optimization
  • nonlinear-optimization-algorithms
  • nonlinear-programming