Sign in

Repository Index

71,372 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

481–504 of 527 · Most stars

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

Generative models for transcriptomic-driven or protein-driven molecular design (PaccMann^RL).

  • deep-reinforcement-learning
  • generative-model
  • vae
  • molecule-generation

Astronomical FITS image analysis tool for detecting asteroids, comets, satellites, moving objects, and transients in astrophotography data.

  • astronomy
  • astronomy-software
  • astrophotography
  • moving-object-detection

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.