V library to develop Artificial Intelligence and High-Performance Scientific Computations
- v
- hacktoberfest
- linear-algebra
- optimization
Repository Index
47,133 repositories indexed
73–96 of 165 · Most stars
The fast Continuous Wavelet Transform (fCWT) is a library for fast calculation of CWT.
- cwt
- matlab
- cpp
- optimization
Quantum Computer Library for Everyone
- quantum
- python
- quantum-computing
- quantum-algorithms
Deep Reinforcement Learning for de-novo Drug Design
- deeplearning
- reinforcement-learning
- cheminformatics
- molecular-modeling
A fully featured, pythonic library for representing and using quaternions
The official implementation of 3D Equivariant Diffusion for Target-Aware Molecule Generation and Affinity Prediction (ICLR 2023)
- ai-for-science
- diffusion-models
- drug-design
- equivariant-networks
Produce a sharp image of a planetary system object (moon, sun, planets) from many seeing-affected frames according to the "lucky imaging" technique.
The repository host gives no description.
A lightweight library to calculate tensors in Swift, which has similar APIs to TensorFlow's
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
RNA-seq prediction with deep convolutional neural networks.
Matrix Algebra proGrams In Common Lisp.
- common-lisp
- matrix-algebra
- linear-algebra
Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
Bi-Directional Equivariant Long-Range DNA Sequence Modeling
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
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
a unified framework for modeling chemically reactive systems
- chemical-equilibrium
- chemical-kinetics
- reactive-transport
- chemical-reactions
A formalization of geometry in Coq based on Tarski's axiom system
A high-performance, high precision, zero allocation fixed-point decimal library for financial applications
- golang
- high-performance
- zero-allocation
- money
A command-line utility for quick math.
The RAW JavaScript Quaternion library
- quaternion
- angle
- conjugate
- math
scPerturb: A resource and a python/R tool for single-cell perturbation data
- cite-seq
- database
- perturbation
- scatac-seq