71,372 visible repositories in the index
289–312 of 527 · Most stars
Kaapana is an open source toolkit for state of the art platform provisioning in the field of medical data analysis. The applications comprise AI-based workflows and federated learning scenarios with a focus on radiological and radiotherapeutic imaging. The name Kaapana comes from the Hawaiian word kaʻāpana, meaning "distributor" or "part".
Bayesian Optimization using GPflow
CEED Library: Code for Efficient Extensible Discretizations
formally verified category theory library
A high-performance engine for engineering math, physics simulation, and MCAD and ECAD as code. RunMat checks types, sizes and units before anything runs, executes on CPU and GPU, and runs existing MATLAB-language code as written.
Schema and generated objects for biolink data model and upper ontology
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.
A TLA+ interpreter and model checker in TypeScript
Matrix Algebra proGrams In Common Lisp.
Formal proof of the Four Color Theorem [maintainer=@ybertot]
Pan-Cancer Integrative Histology-Genomic Analysis via Multimodal Deep Learning - Cancer Cell
Correctly rounded decimals for Go
MolTrans: Molecular Interaction Transformer for Drug Target Interaction Prediction (Bioinformatics)
Ankh: Optimized Protein Language Model
Mathematical Components compliant Analysis Library
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
Open Parser for Systematic IUPAC Nomenclature. Chemical name to structure conversion
Automated 3D cell detection in very large images
Graph-based molecule modeling toolkit for cheminformatics
High performance computational platform in Python for the spectral Galerkin method
Allocators, I/O streams, math, geometry, image and audio processing for D
D3 plugin which computes a treemap based on a Voronoi tesselation
Wide-Integer implements a generic C++ template for uint128_t, uint256_t, uint512_t, uint1024_t, etc.
Multiresolution Adaptive Numerical Environment for Scientific Simulation