Sign in

Repository Index

47,133 repositories indexed

Tag: Science and math
Tag
Filters

Filters

Clear all filters

1–24 of 147 · Most stars

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

:partly_sunny: The right way to check the weather

  • weather-information
  • weather-api
  • curl
  • weather

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

The official sources for the RDKit library

  • cheminformatics
  • c-plus-plus
  • python
  • rdkit

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

Lightweight, general, scalable C++ library for finite element methods