Repository Index

A general library for geometry operations of union, intersections, difference, and xor

• computational-geometry
• union
• intersection
• xor

A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]

• coq-library
• typeclasses
• mathematics
• coq

Learning cell communication from spatial graphs of cells

• tensorflow
• gnn
• glm
• cvae

Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]

• coq-library
• real-number
• coq
• coq-ci

A handy calculator, based on Rust and WebAssembly.

• webassembly
• calculator
• math
• rust

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

• coq
• hydra-battles
• ordinal-notations
• formal-proofs

Machine learning for Analysis of Proteomics in Spatial biology - Nature Communications

• cell-annotation
• multiplexed-imaging
• mpif

Classification and Gradient-based Localization of Chest Radiographs using PyTorch.

• fine-tuning
• vgg16
• resnet18
• densenet121

The repository host gives no description.

Graph Theory [maintainers=@chdoc,@damien-pous]

• coq
• graph-theory
• mathcomp
• docker-coq-action

MCP server for spatial transcriptomics analysis through natural language interfaces.

• bioinformatics
• cell-communication
• deconvolution
• machine-learning

A common lisp library that provides a numeric type with optional unit and/or uncertainty for computations with automatic error propagation.

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]

• coq
• mathcomp
• ssreflect
• tarjan-algorithm

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

Utility library to pretty print physical values in proper metric units

• ada2012
• ada
• utility-library
• formatting-output