Simple and lightweight computational geometry library for .Net
Repository Index
47,133 repositories indexed
385–408 of 750 · Most stars
Ankh: Optimized Protein Language Model
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
- coq
- hammer
- automation
- proof-search
Mathematical Components compliant Analysis Library
- rocq
- analysis
- coq
- mathcomp
Open Parser for Systematic IUPAC Nomenclature. Chemical name to structure conversion
Download Latest Ionic v3 Weather App ->
The repository host gives no description.
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
Allocators, I/O streams, math, geometry, image and audio processing for D
- utility-library
- dlang
- linear-algebra
- computational-geometry
Graph-based molecule modeling toolkit for cheminformatics
- cheminformatics
- molecular-modeling
- chemistry
- toolkit
Wide-Integer implements a generic C++ template for uint128_t, uint256_t, uint512_t, uint1024_t, etc.
- high-performance
- embedded-systems
- multiprecision
- numerical
D3 plugin which computes a treemap based on a Voronoi tesselation
:spider_web: Simple mesh generator inspired by distmesh.
- mesh
- finite-elements
- mathematics
- mesh-generation
a unified framework for modeling chemically reactive systems
- chemical-equilibrium
- chemical-kinetics
- reactive-transport
- chemical-reactions
Multiresolution Adaptive Numerical Environment for Scientific Simulation
talk with NCBI entrez using R
Mir (backports): Sparse tensors, Hoffman
- mir
- glas
- blas
- mir-glas
A formalization of geometry in Coq based on Tarski's axiom system
Umbrella package of the 'spatstat' family................
- r
- spatial-analysis
- spatial-data
- spatstat