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

25–48 of 48 · Most stars

a unified framework for modeling chemically reactive systems

  • chemical-equilibrium
  • chemical-kinetics
  • reactive-transport
  • chemical-reactions

A Python package for molecular docking with an extensive, highly-curated dataset and a set of realistic benchmark tasks for drug discovery.

:spider_web: Compute interesting points, areas, and volumes in simplex meshes of any dimension.

Efficient and expressive arrayed vector math library with multi-threading and CUDA support in Common Lisp.

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.

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

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