CEED Library: Code for Efficient Extensible Discretizations
- ceed
- high-order
- exascale-computing
- api
Repository Index
47,133 repositories indexed
337–360 of 687 · Most stars
formally verified category theory library
- category-theory
- formal-verification
- formal-proofs
Mundo: Customized World Model
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.
Schema and generated objects for biolink data model and upper ontology
- biolink
- monarchinitiative
- gene-ontology
- datamodel
TriWild: Robust Triangulation with Curve Constraints
- traingulation
- meshing
- geometry-processing
Bi-Directional Equivariant Long-Range DNA Sequence Modeling
Pan-Cancer Integrative Histology-Genomic Analysis via Multimodal Deep Learning - Cancer Cell
- histology
- wsi-images
- pan-cancer-analysis
- genomics
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)
Ankh: Optimized Protein Language Model
The repository host gives no description.
Simple and lightweight computational geometry library for .Net
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
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
OPEM (Open Source PEM Fuel Cell Simulation Tool)
- chemistry
- pem
- fuel-cell
- opem
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