PyTorch Connectomics: segmentation toolbox for EM connectomics
- computer-vision
- neuroscience
- connectomics
- pytorch
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
NeuroAnatomy Toolbox: An R package for the (3D) visualisation and analysis of biological image data, especially tracings of single neurons.
- r
- neuroanatomy-toolbox
- cran
- neuron
Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]
- coq
- mathcomp
- ssreflect
- tarjan-algorithm