Fundamentals 5 Code Library for FreePascal and Delphi
Repository Index
56,638 visible repositories in the index
145–168 of 316 · Most stars
CEED Library: Code for Efficient Extensible Discretizations
- ceed
- high-order
- exascale-computing
- api
formally verified category theory library
- category-theory
- formal-verification
- formal-proofs
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
Schema and generated objects for biolink data model and upper ontology
- biolink
- monarchinitiative
- gene-ontology
- datamodel
RNA-seq prediction with deep convolutional neural networks.
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
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
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
Wide-Integer implements a generic C++ template for uint128_t, uint256_t, uint512_t, uint1024_t, etc.
- high-performance
- embedded-systems
- multiprecision
- numerical
a unified framework for modeling chemically reactive systems
- chemical-equilibrium
- chemical-kinetics
- reactive-transport
- chemical-reactions
Multiresolution Adaptive Numerical Environment for Scientific Simulation
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.
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