Sign in

Repository Index

47,133 repositories indexed

Tags: Science and math
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

145–164 of 164 · Most stars

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

Quantum randomness source using the ANU hardware QRNG

  • random-number-generators
  • quantum-mechanics

chemmodlab: A Cheminformatics Modeling Laboratory for Fitting and Assessing Machine Learning Models

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

Utility library to pretty print physical values in proper metric units

  • ada2012
  • ada
  • utility-library
  • formatting-output

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

This is a class module in beta state to implement computations with large integers and reals/rationals numbers, while proposing representation of numerical values as scientific notation, allowing to obtain several cohorts for the same number (a lot of fun!).

  • arithmetic
  • biginteger
  • biginteger-library
  • fractional

This is a weather app for the MacOSX menubar that the user can easily click to find the weather. Uses CSS based design and gets data from OpenWeatherMap.