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
Repository Index
47,133 repositories indexed
313–336 of 347 · Most stars
Ruby library for calculating reference crop evapotranspiration (ETo)
- agriculture
- evapotranspiration
- ruby
UV-first benchmark for protein-ligand docking with reproducible annotation, pocket similarity, and HPC workflows.
- benchmark
- bioinformatics
- cheminformatics
- computational-chemistry
Open source ballistics library
- vala
- ballistics
- meson
- gplv3
scPair: Boosting single cell multimodal analysis by leveraging single cell atlases and implicit feature selection
Simple, reliable .NET libraries covering numbers, geometry and data structures
- collections
- geometry
- numerics
- csharp
A Darksky.net (formerly forecast.io) weather API client for Elixir
- darksky
- forecast
- elixir
- weather
Node-RED nodes for The Weather Company and Weather Underground Personal Weather Station APIs
vala and scientific numerical computation
C++ modules for scalar, vector and complex math. And maths.
- cpp20
- math
- mathematics
- vectors
go-glmatrix is a golang version of glMatrix, which is "designed to perform vector and matrix operations stupidly fast".
Utility library to pretty print physical values in proper metric units
- ada2012
- ada
- utility-library
- formatting-output
a fairly simple solar system simulator
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
Constructive Solid Geometry for Actionscript 3
Simple webapp for generating small ligand conformers
- computational-biology
- computational-chemistry
- conformer-generation
- rdkit
A collection of matrix handling scripts
XitoSBML - the spatial SBML plugin for ImageJ
- sbml
- systems-biology
- spatial-sbml-plugin
- imagej
Histology Topography Cytometry Analysis Toolbox
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 dependency-free Linear Algebra, Statistics, and Machine Learning library written from scratch in V
Extra contribution for mathcomp
- theorem-proving
- primality-test
- matroid
- rsa-algorithm