Graph Theory [maintainers=@chdoc,@damien-pous]
- coq
- graph-theory
- mathcomp
- docker-coq-action
Repository Index
47,133 repositories indexed
625–648 of 786 · Most stars
MCP server for spatial transcriptomics analysis through natural language interfaces.
- bioinformatics
- cell-communication
- deconvolution
- machine-learning
An arbitrary-precision decimal floating-point arithmetic package for Go
- decimal
- arbitrary-precision
- floating-point
- go
Prime numbers for Coq
- coq
- theorem-proving
- elliptic-curves
- prime-numbers
A Python toolkit for quantum neural networks.
AS3 port of hxGeomAlgo - Small collection of geometry algorithms in Haxe 3.
The d-SEAMS C++ core engine
- molecular-dynamics-simulation
- molecular-dynamics
- trajectory-analysis
- lua
A library of Actionscript 3 classes for 3D Mathematics.
Portability Environment for Fortran poor people
- fortran
- codes-portability
- precision
Rational number library for Elixir.
ChemMine Tools: open source web framework for small molecule analysis
A configurable constraint solver
Predicting Cell Health with Morphological Profiles
- carpenter-lab
- morphological-profiling
- crispr
- cell-painting
A cheminformatics extension for the SQLAlchemy database toolkit.
Generic, zero-alloc, 100%-test covered Quadtree for golang
- golang-library
- quadtree
- data-structures
- generics
💬 Trace citation chains for any concept across research papers and render them as an interactive graph.
- academic-research
- bibliography
- citation-graph
- cli
The repository host gives no description.
Updated infix.cl of the CMU AI repository, originally written by Mark Kantrowitz
- infix-notation
- common-lisp
- mathematics
A matrix library for common lisp
A foundation model-driven whole slide image-scale cell phenotyping method with QuPath integration Resources
- bioimage-analysis
- cell-classification
- computer-vision
- digital-pathology
2D triangulation library. Allows translating lines and polygons (both based on points) to the language of GPUs.
- triangulation
- computational-geometry
- golang
Multi-stage Riemannian flow matching for physically valid molecular docking, with GNINA scoring, PoseBusters filtering, CLI inference, and benchmarks.
- alphafold3
- docking
- drug-design
- drug-discovery
The formal proof of the Odd Order Theorem
- coq
- ssreflect
- mathcomp
- feit-thompson-theorem
A common lisp library that provides a numeric type with optional unit and/or uncertainty for computations with automatic error propagation.