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–168 of 169 · Most stars

Multi-stage Riemannian flow matching for physically valid molecular docking, with GNINA scoring, PoseBusters filtering, CLI inference, and benchmarks.

  • alphafold3
  • docking
  • drug-design
  • drug-discovery

Java Scientific Computing Library - Signal Processing, FFT, Filters, PSD, DCT, SciPy-like APIs for JVM & Android used in Machine Learning and Data Science.

Computer Algebra for microcontrollers using https://github.com/micropython/micropython

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

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.

Caustic Elixir Cryptocurrency Library (Bitcoin, Ethereum, etc.) with extensive cryptography and number theory library

Interpretable modeling of cellular responses to drug perturbations using cycle consistence learning

A common interface used for modeling Mathematical Programs (e.g., Convex Optimization problems) in the language Go (Golang).

  • convex-optimization
  • linear-programming
  • optimization
  • quadratic-programming

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.

High performance, zero-allocation, low memory usage (8 bytes), low precision (17 digits), partially compatible with int64 and shopspring Decimal

Mutta Puffs is a sports league scheduler automated on thousands of computers from decentralized market of computational power in Golem.