67,262 visible repositories in the index
1–21 of 21 · Most stars
Genetic Algorithm, Particle Swarm Optimization, Simulated Annealing, Ant Colony Optimization Algorithm,Immune Algorithm, Artificial Fish Swarm Algorithm, Differential Evolution and TSP(Traveling salesman)
The math library of Lean 4
Immutable in-memory R-tree and R*-tree implementations in Java with reactive api
Validated, scalable, community developed variant calling, RNA-seq and small RNA analysis
Open-source cross-platform symbolic algebra library for C# and F#. Can be used for both production and research purposes.
Fast, sensitive and accurate integration of single-cell data with Harmony
Formal proof of the Four Color Theorem [maintainer=@ybertot]
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
RTree2D is a 2D immutable R-tree for ultra-fast nearest and intersection queries in plane and spherical coordinates
Learning cell communication from spatial graphs of cells
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
Machine learning for Analysis of Proteomics in Spatial biology - Nature Communications
Minerva Story is an image viewer that is designed specifically to make it easy for non-expert users to interact with complex tissue images.
MCP server for spatial transcriptomics analysis through natural language interfaces.
Graph Theory [maintainers=@chdoc,@damien-pous]
Partial Commutative Monoids
Deciphering cell-cell communication from spatially resolved transcriptomic data at single-cell resolution with subgraph-based attentional graph neural network
Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]
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]
Ask me anything!