Sign in

Repository Index

47,133 repositories indexed

Tags: Science and math
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

1–24 of 165 · Most stars

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

🔩 Like builtins, but boltons. 250+ constructs, recipes, and snippets which extend (and rely on nothing but) the Python standard library. Nothing like Michael Bolton.

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.

OHIF zero-footprint DICOM viewer and oncology specific Lesion Tracker, plus shared extension packages

  • nci-itcr
  • nci-qin
  • quantitative-imaging
  • imaging-informatics

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

Linear algebra, eigenvalues, FFT, Bessel, elliptic, orthogonal polys, geometry, NURBS, numerical quadrature, 3D transfinite interpolation, random numbers, Mersenne twister, probability distributions, optimisation, differential equations.

The Control Toolbox - An Open-Source C++ Library for Robotics, Optimal and Model Predictive Control

  • optimal-control
  • model-predictive-control
  • ilqr
  • ilqg

Deep probabilistic analysis of single-cell and spatial omics data

  • scrna-seq
  • variational-bayes
  • variational-autoencoder
  • cite-seq

Notebooks for financial economics. Keywords: Jupyter notebook pandas Federal Reserve FRED Ferbus GDP CPI PCE inflation unemployment wage income debt Case-Shiller housing asset portfolio equities SPX bonds TIPS rates currency FX euro EUR USD JPY yen XAU gold Brent WTI oil Holt-Winters time-series forecasting statistics econometrics