Sign in

Repository Index

55,140 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 286 · Most stars

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

🔩 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

Official repository for the Boltz biomolecular interaction models

  • binding-prediction
  • drug-discovery
  • protein-structure