Extra contribution for mathcomp
- theorem-proving
- primality-test
- matroid
- rsa-algorithm
47,133 repositories indexed
721–744 of 750 · Most stars
Extra contribution for mathcomp
Vendor-agnostic, FHIR-Genomics-aligned API contract for cross-vendor NGS interpretation. JSON Schema + TypeScript + Python pydantic.
Port of godot-math to D: vectors, matrices, rectangles, points, AABBs, planes, frustums.
A collection of swift playground about mathematics.
Framework-agnostic polygon intersection library for Lua
Accelerated similarity searching of small molecules (bioconductor package)
Formal proof in Coq of Puiseux's Theorem.
gateway for segmentation data to Rstats & visualization with ggplot2 - in development
This is a class module in beta state to implement computations with large integers and reals/rationals numbers, while proposing representation of numerical values as scientific notation, allowing to obtain several cohorts for the same number (a lot of fun!).
DeepAEG: A model for predicting cancer drug response based on data enhancement and edge-collaborative update strategies
legacy signal processing leveraging afni, ants, fsl, nipy, robex, and wavelet toolbox - brnfswdktm
A common interface used for modeling Mathematical Programs (e.g., Convex Optimization problems) in the language Go (Golang).
Python library for statistical analysis of mRNA and protein distributions in fluorescent microscopy images
Genetic Algorithm Implementation for Ada
primes-utils rubygem
A Do-Whatever Matrix-Math class in Actionscript 3
A subset of numpy for Micropython
Weather App in Imba
Distributed Simulation of Transport Networks
This is a weather app for the MacOSX menubar that the user can easily click to find the weather. Uses CSS based design and gets data from OpenWeatherMap.
Functions for the input/output and visualization of medical imaging data that follow either the ANALYZE, NIfTI or AFNI formats.
Fully functional Hungarian Algorithm implementation in Ada
Interpretable drug response prediction with graph neural networks over drugs, cell lines, and genes.
High performance, zero-allocation, low memory usage (8 bytes), low precision (17 digits), partially compatible with int64 and shopspring Decimal