Native R and Python sample-deletion robustness for omics: candidate certificates, minimum deletion bounds, Bioconductor model refits and donor-level pseudobulk
- bioinformatics
- exact-optimization
- metabolomics
- paired-data
Repository Index
57,138 visible repositories in the index
241–264 of 462 · Most stars
City Energy Analyst (CEA) is an open-source urban building energy modeling (UBEM) platform and computation tool for the design of low-carbon and highly efficient cities.
- python
- urban-design
- urban-analytics
- ubem
Solve automatic numerical differentiation problems in one or more variables.
Voronoi / Delaunay tessellations on the sphere
- voronoi
- d3js
- d3
- geospatial
Fundamentals 5 Code Library for FreePascal and Delphi
CEED Library: Code for Efficient Extensible Discretizations
- ceed
- high-order
- exascale-computing
- api
Open source math and physics engine that executes MATLAB-syntax code. Features a modern compiler, automatic GPU acceleration for large calculations, and support for math on geometry / FEA calculations.
- matlab
- rust
- jit-compiler
- linear-algebra
RNA-seq prediction with deep convolutional neural networks.
Boost.Multiprecision
Interactive 2D wave optics simulator. Turn any image into a refractive scene, add sources, watch waves refract, diffract and interfere. Probes, intensity maps, video export.
Bi-Directional Equivariant Long-Range DNA Sequence Modeling
Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
ChEMBL database structure pipelines
Correctly rounded decimals for Go
- decimal
- financial
- floating-point
- general-decimal-arithmetic
MolTrans: Molecular Interaction Transformer for Drug Target Interaction Prediction (Bioinformatics)
Mathematical Components compliant Analysis Library
- rocq
- analysis
- coq
- mathcomp
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
- coq
- hammer
- automation
- proof-search
A TLA+ interpreter and model checker in TypeScript
- formal-verification
- tlaplus
- typescript
Open Parser for Systematic IUPAC Nomenclature. Chemical name to structure conversion
Azure friendly DICOMweb part 18 .NET server with qido-rs, wado-rs, stow-rs, wado-uri RESTful implementation
- dicom
- dicomweb
- dicomcloud
- wado
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
Allocators, I/O streams, math, geometry, image and audio processing for D
- utility-library
- dlang
- linear-algebra
- computational-geometry
D3 plugin which computes a treemap based on a Voronoi tesselation