Gonum is a set of numeric libraries for the Go programming language. It contains libraries for matrices, statistics, optimization, and more
Repository Index
47,133 repositories indexed
1–24 of 36 · Most stars
Qiskit is an open-source SDK for working with quantum computers at the level of extended quantum circuits, operators, and primitives.
- quantum-computing
- qiskit
- sdk
- quantum-programming-language
A Python-embedded modeling language for convex optimization problems.
- python
- cvxpy
- optimization
- modeling-language
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- proof-assistant
- coq
- theorem-proving
- dependent-types
Python framework for creating, editing, and running Noisy Intermediate-Scale Quantum (NISQ) circuits.
- nisq
- quantum-algorithms
- quantum-computing
- cirq
Multi-language suite for high-performance solvers of differential equations and scientific machine learning (SciML) components. Ordinary differential equations (ODEs), stochastic differential equations (SDEs), delay differential equations (DDEs), differential-algebraic equations (DAEs), and more in Julia.
- differential-equations
- differentialequations
- julia
- ode
Open Babel is a chemical toolbox designed to speak the many languages of chemical data.
- chemistry
- chemical-data
- cheminformatics
- c-plus-plus
ProtTrans is providing state of the art pretrained language models for proteins. ProtTrans was trained on thousands of GPUs from Summit and hundreds of Google TPUs using Transformers Models.
Scientific workflow engine designed for simplicity & scalability. Trivially transition between one off use cases to massive scale production environments
Official implementation for HyenaDNA, a long-range genomic foundation model built with Hyena
- foundation-models
- genomics
- language-models
DNABERT: pre-trained Bidirectional Encoder Representations from Transformers model for DNA-language in genome
- kmer
- dnabert-model
- kmer-format
- gpu
Tasks Assessing Protein Embeddings (TAPE), a set of five biologically relevant semi-supervised learning tasks spread across different domains of protein biology.
- deep-learning
- protein-sequences
- protein-structure
- semi-supervised-learning
Official release of the ProGen models
- language-model
- protein
- generative-model
Vision-Language Pathology Foundation Model - Nature Medicine
- bioimage-analysis
- bioimage-informatics
- conch
- foundation-model
[ICLR 2024] DNABERT-2: Efficient Foundation Model and Benchmark for Multi-Species Genome
- dataset
- dna
- dna-processing
- dna-training
Quantum Computer Library for Everyone
- quantum
- python
- quantum-computing
- quantum-algorithms
Genomic Pretrained Network - GPN, GPN-MSA, PhyloGPN, GPN-Star
- dna
- language-model
- variant-effect-prediction
- genomics
Pathology Language and Image Pre-Training (PLIP) is the first vision and language foundation model for Pathology AI (Nature Medicine). PLIP is a large-scale pre-trained model that can be used to extract visual and language features from pathology images and text description. The model is a fine-tuned version of the original CLIP model.
- artificial-intelligence
- clip
- pathology
- vision-and-language
Ankh: Optimized Protein Language Model
Graph-based molecule modeling toolkit for cheminformatics
- cheminformatics
- molecular-modeling
- chemistry
- toolkit
Associated Repository for "Translation between Molecules and Natural Language"
🏃 The go-to single-cell Foundation Model
- batch-correction
- cell-biology
- celltype-annotation
- denoising
Official repo for CellPLM: Pre-training of Cell Language Model Beyond Single Cells.
Scientific library for the D programming language