Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
Repository Index
47,133 repositories indexed
1–24 of 45 · Most stars
MLX: An array framework for Apple silicon
- mlx
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
The official sources for the RDKit library
- cheminformatics
- c-plus-plus
- python
- rdkit
PennyLane is an open-source quantum software platform for quantum computing, quantum machine learning, and quantum chemistry. Create meaningful quantum algorithms, from inspiration to implementation.
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
Owl - OCaml Scientific Computing @ https://ocaml.xyz
- matrix
- linear-algebra
- ndarray
- statistical-functions
Gazebo database of SDF models. This is a predecessor to https://app.gazebosim.org
- gazebo
- simulation
- robot-simulation
- robotics
TorchXRayVision: A library of chest X-ray datasets and models. Classifiers, segmentation, and autoencoders.
Throw in the towel.
- dotnet
- towel
- csharp
- library
Flutter weather application with beautiful UI and UX.
Junction Tree Variational Autoencoder for Molecular Graph Generation (ICML 2018)
SCENIC is an R package to infer Gene Regulatory Networks and cell types from single-cell RNA-seq data.
Official repository for the ProteinGym benchmarks
- benchmark
- computational-biology
- protein
- protein-design
Tools for computational pathology
- machine-learning
- digital-pathology
- computational-pathology
- biomedical-image-processing
Cirno's Perfect Math Library: Just about everything you need for 2D/3D games. Hopefully.
Ark -- Archetype-based Entity Component System (ECS) for Go.
- ecs
- entity-component-system
- go
- golang
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
Schema and generated objects for biolink data model and upper ontology
- biolink
- monarchinitiative
- gene-ontology
- datamodel
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
- coq
- hammer
- automation
- proof-search
Allocators, I/O streams, math, geometry, image and audio processing for D
- utility-library
- dlang
- linear-algebra
- computational-geometry
ChemML is a machine learning and informatics program suite for the chemical and materials sciences.
- quantum-mechanics
- materials-informatics
- data-science
- machine-learning
A dataset, API, and parser for USDA plant hardiness zones.
- usda
- api
- plants
- farm