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
Repository Index
47,133 repositories indexed
217–240 of 246 · Most stars
chemmodlab: A Cheminformatics Modeling Laboratory for Fitting and Assessing Machine Learning Models
Official implementation of JAMIE, Joint variational Autoencoders for Multimodal Imputation and Embedding
- autoencoder
- imputation
- integration
- multimodal
Julia interface to quarto-cli
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
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
A flexible Julia toolkit for high-dimensional cellular profiles
- julia
- morphological-analysis
- high-content-screening
Simple, reliable .NET libraries covering numbers, geometry and data structures
- collections
- geometry
- numerics
- csharp
Object-Based mathematical operations in VBA
:game_die: Neutrino research
- physics
- neutrino
- neutrino-oscillations
Node-RED nodes for The Weather Company and Weather Underground Personal Weather Station APIs
C++ modules for scalar, vector and complex math. And maths.
- cpp20
- math
- mathematics
- vectors
Translated🗺️ Research Data Map — AI-driven global research visualization platform | Research Data Map with 250M+ papers
- academic
- ai
- china
- cloudflare-workers
a fairly simple solar system simulator
Analysis of cell migration in Igor Pro
- igor
- imagej
- cell-migration
- tracking
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
A tiny easy math include addition multiplication subtraction division.
- math
- math-library
- mathematics
- true-math
This is a debugger for use with cannon-es and BabylonJS
Astronomical FITS image analysis tool for detecting asteroids, comets, satellites, moving objects, and transients in astrophotography data.
- astronomy
- astronomy-software
- astrophotography
- moving-object-detection
A collection of matrix handling scripts
XitoSBML - the spatial SBML plugin for ImageJ
- sbml
- systems-biology
- spatial-sbml-plugin
- imagej
Mars Polar Lander Simulation
Vendor-agnostic, FHIR-Genomics-aligned API contract for cross-vendor NGS interpretation. JSON Schema + TypeScript + Python pydantic.