Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]
- coq
- complex-analysis
- real-analysis
Repository Index
47,133 repositories indexed
73–79 of 79 · Most stars
A flexible Julia toolkit for high-dimensional cellular profiles
- julia
- morphological-analysis
- high-content-screening
scPair: Boosting single cell multimodal analysis by leveraging single cell atlases and implicit feature selection
Analysis of cell migration in Igor Pro
- igor
- imagej
- cell-migration
- tracking
Astronomical FITS image analysis tool for detecting asteroids, comets, satellites, moving objects, and transients in astrophotography data.
- astronomy
- astronomy-software
- astrophotography
- moving-object-detection
Histology Topography Cytometry Analysis Toolbox
Python library for statistical analysis of mRNA and protein distributions in fluorescent microscopy images