TriWild: Robust Triangulation with Curve Constraints
- traingulation
- meshing
- geometry-processing
Repository Index
47,133 repositories indexed
241–264 of 461 · Most stars
Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
Bi-Directional Equivariant Long-Range DNA Sequence Modeling
The RAW Complex.js is a complex numbers library written in JavaScript
- complex-numbers
- vector
- trigonometric-functions
- javascript
Pan-Cancer Integrative Histology-Genomic Analysis via Multimodal Deep Learning - Cancer Cell
- histology
- wsi-images
- pan-cancer-analysis
- genomics
Correctly rounded decimals for Go
- decimal
- financial
- floating-point
- general-decimal-arithmetic
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
- coq
- hammer
- automation
- proof-search
Open Parser for Systematic IUPAC Nomenclature. Chemical name to structure conversion
Mathematical Components compliant Analysis Library
- rocq
- analysis
- coq
- mathcomp
Download Latest Ionic v3 Weather App ->
Azure friendly DICOMweb part 18 .NET server with qido-rs, wado-rs, stow-rs, wado-uri RESTful implementation
- dicom
- dicomweb
- dicomcloud
- wado
Java Constraint Programming solver
Automated 3D cell detection in very large images
- microscopy
- cell-detection
- deep-learning
- image-analysis
Haplotype-aware CNV analysis from single-cell RNA-seq, ATAC-seq, and multiome
- cancer-genomics
- cnv-detection
- single-cell
- phylogeny
High performance computational platform in Python for the spectral Galerkin method
- spectral-methods
- galerkin
- fenics
- turbulence
D3 plugin which computes a treemap based on a Voronoi tesselation
Golang Genetic Algorithm
a unified framework for modeling chemically reactive systems
- chemical-equilibrium
- chemical-kinetics
- reactive-transport
- chemical-reactions
Multiresolution Adaptive Numerical Environment for Scientific Simulation
Mir (backports): Sparse tensors, Hoffman
- mir
- glas
- blas
- mir-glas
A formalization of geometry in Coq based on Tarski's axiom system
Converts medical images to more displayable formats, e.g. NIfTI to jpg.
PyTorch Connectomics: segmentation toolbox for EM connectomics
- computer-vision
- neuroscience
- connectomics
- pytorch
Medical LLM agent and MRI segmentation workspace built on PharmaLLM, with LangGraph, vLLM, and BEU-Net.