Sign in

Repository Index

78,351 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

145–168 of 200 · Most stars

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

  • coq
  • hydra-battles
  • ordinal-notations
  • formal-proofs

PyTorch implementation of the MIDAS algorithm for single-cell multimodal data integration (Nature Biotechnology 2024).

  • deep-generative-model
  • deep-learning
  • single-cell-data-integration
  • single-cell-multiomics

MAT is library for working with multi-dimensional arrays which supports efficient interfacing to foreign and CUDA code. BLAS and CUBLAS bindings are available.

Minerva Story is an image viewer that is designed specifically to make it easy for non-expert users to interact with complex tissue images.

  • minerva
  • microscopy
  • ome
  • immunofluorescence