Sign in

Repository Index

83,586 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

193–216 of 221 · Most stars

Nova DSO Tracker is an open-source Flask application for astrophotographers, providing real-time tracking of deep-sky objects' altitude, observability prediction, and integration with Stellarium and SIMBAD databases.

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

Official implementation of JAMIE, Joint variational Autoencoders for Multimodal Imputation and Embedding

  • autoencoder
  • imputation
  • integration
  • multimodal

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

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

Winner of the Golem Gitcoin Hackathon 2020 (https://blog.golemproject.net/meet-the-winners-golem-gitcoin-hackathon-2020/). This app lets people design, simulate, and analyse antenna arrays without the need to utilize commercial and expensive applications.

  • golem