Repository Index

Rails frontend to The Genome Institute's drug gene interaction database.

Detecting cancers on mobile phones

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

MAT is library for working with multi-dimensional arrays which supports efficient interfacing to foreign and CUDA code. BLAS and CUBLAS bindings are available.

Research experiments exploring uncommon quant techniques.

• analysis
• jupyter-notebook
• python
• quant

Repository for paper scMulan: a multitask generative pre-trained language model for single-cell analysis.

• foundation-models
• gpt
• single-cell

An Elixir implementation of the CONREC algorithm for topographic or isochrone maps.

• gis
• conrec
• map
• elixir

Adaptive Graph Attention Auto-encoder for Spatial Domain Identification of Spatial Transcriptomics

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 Python toolkit for quantum neural networks.

A configurable constraint solver

Predicting Cell Health with Morphological Profiles

• carpenter-lab
• morphological-profiling
• crispr
• cell-painting

💬 Trace citation chains for any concept across research papers and render them as an interactive graph.

• academic-research
• bibliography
• citation-graph
• cli

Updated infix.cl of the CMU AI repository, originally written by Mark Kantrowitz

• infix-notation
• common-lisp
• mathematics

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

NASA/JPL SPICE Toolkit for C – patched for cross-platform compatibility

• astronomy
• astronomical-algorithms
• celestial-mechanics
• nasa

Decimal handling as value object instead of plain strings or floats.

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

Quartz - A Crystal Modeling & Simulation framework

• quartz
• simulation
• modeling
• pdevs

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

mrQA: tools for quality assurance in medical imaging datasets, including protocol compliance

• qa
• mri
• neuroimaging
• niqc

scPair: Boosting single cell multimodal analysis by leveraging single cell atlases and implicit feature selection

vala and scientific numerical computation