Repository Index

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

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

Peax is a tool for interactive visual pattern search and exploration in epigenomic data based on unsupervised representation learning with autoencoders

• epigenomics
• pattern-search
• data-visualization
• interactive-machine-learning

The framework for quantification of neuronal anatomy

• neuroscience
• neuroanatomy-toolbox
• imagej
• imagej2

Tool for precise, interactive, fast and scalable FISH spot detection

CGRs, molecules and reactions manipulation

A Python toolkit for quantum neural networks.

ChemMine Tools: open source web framework for small molecule analysis

A cheminformatics extension for the SQLAlchemy database toolkit.

💬 Trace citation chains for any concept across research papers and render them as an interactive graph.

• academic-research
• bibliography
• citation-graph
• cli

NASA/JPL SPICE Toolkit for C – patched for cross-platform compatibility

• astronomy
• astronomical-algorithms
• celestial-mechanics
• nasa

Translatedfractional api base on golang . golang math tools fractional molecular denominator fraction calculation numerator denominator operations

• fractional
• molecular
• denominator
• operation

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

mrQA: tools for quality assurance in medical imaging datasets, including protocol compliance

• qa
• mri
• neuroimaging
• niqc

A flexible Julia toolkit for high-dimensional cellular profiles

• julia
• morphological-analysis
• high-content-screening

A simple ffi-accelerated vector library for everyone with support for z-axis

• math
• vector
• lua
• love2d

DetecDiv provides a comprehensive set of tools to analyze time microscopy images using deep learning methods. The software structure is such that data can be processed either at the command line or using a graphical user-interface. Detecdiv classification models include : image classification and regression, semantic segmentation, LSTM networks to analyze data and image timeseries.

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

legacy signal processing leveraging afni, ants, fsl, nipy, robex, and wavelet toolbox - brnfswdktm

• fmri-preprocessing
• fmri

a collection of small utlities useful for neuroimaging research

• utilities