A formalization of geometry in Coq based on Tarski's axiom system
Repository Index
47,133 repositories indexed
409–432 of 768 · Most stars
Umbrella package of the 'spatstat' family................
- r
- spatial-analysis
- spatial-data
- spatstat
A gallery of animations in statistics and utilities to create animations
- r
- r-package
- animation
- statistics
Converts medical images to more displayable formats, e.g. NIfTI to jpg.
A Python package for the identification, characterization and comparison of spatial clusters from spatial -omics data.
Free (GPL) Common Lisp data analysis library with emphasis on modularity and conceptual clarity.
PyTorch Connectomics: segmentation toolbox for EM connectomics
- computer-vision
- neuroscience
- connectomics
- pytorch
Genetic Algorithms library written in Go / golang
Medical LLM agent and MRI segmentation workspace built on PharmaLLM, with LangGraph, vLLM, and BEU-Net.
A high-performance, high precision, zero allocation fixed-point decimal library for financial applications
- golang
- high-performance
- zero-allocation
- money
Cancer Imaging Phenomics Toolkit (CaPTk) is a software platform to perform image analysis and predictive modeling tasks. Documentation: https://cbica.github.io/CaPTk
- cancer-imaging-research
- radiomics
- radiomics-features
- machine-learning
Probabilistic cell segmentation for in situ spatial transcriptomics
A general library for geometry operations of union, intersections, difference, and xor
- computational-geometry
- union
- intersection
- xor
A command-line utility for quick math.
Code that makes the Iowa Environmental Mesonet run, or run into the ground.
- weather
- mesonet
- iowa
Practical volume computation and sampling in high dimensions
- geometry
- statistics
- polyhedral-computations
- random-walk
Associated Repository for "Translation between Molecules and Natural Language"
Fast Math Library for Delphi
- delphi-rtl
- delphi-fastmath
- fastmath
- overloaded-operators
The RAW JavaScript Quaternion library
- quaternion
- angle
- conjugate
- math
A collection of useful mathematical functions in Elixir with a slant towards statistics, linear algebra and machine learning
A C# DICOM Library
- dicom
- medical-physics
- radiology
- radiation-oncology
Wrapper for RDKit's RunReactants to improve stereochemistry handling
scPerturb: A resource and a python/R tool for single-cell perturbation data
- cite-seq
- database
- perturbation
- scatac-seq
:triangular_ruler: Orthogonal polynomials in all shapes and sizes.
- python
- mathematics
- engineering
- physics