CUDA Templates and Python DSLs for High-Performance Linear Algebra
- cuda
- deep-learning
- deep-learning-library
- cpp
Repository Index
62,272 visible repositories in the index
1–24 of 56 · Most stars
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
A hardware-agnostic SDK for optimization problems: define a problem once, then lower it to any quantum or classical solver
- constraint-programming
- quantum-computing
- quadratic-programming
Project the aircraft passing overhead onto your ceiling in real time, from an RTL-SDR — with a live sky layer (sun, moon, stars, ISS) and where each plane is headed.
- ads-b
- aircraft
- art-installation
- flight-tracker
Practice and tutorial-style notebooks covering wide variety of machine learning techniques
Massively parallel rigidbody physics simulation on accelerator hardware.
POT : Python Optimal Transport
- optimal-transport
- numerical-optimization
- machine-learning
- emd
Message Passing Neural Networks for Molecule Property Prediction
- machine-learning
- chemistry
- neural-networks
- drug-discovery
Mixed-precision math, linear-algebra & retrieval kernels, 4000+ symbols from 4-bit numbers to 128-bit complex, for x86, Arm, RISC-V, LoongArch, Power & WASM, AMX & SME included 📐
Notebooks for financial economics. Keywords: Jupyter notebook pandas Federal Reserve FRED Ferbus GDP CPI PCE inflation unemployment wage income debt Case-Shiller housing asset portfolio equities SPX bonds TIPS rates currency FX euro EUR USD JPY yen XAU gold Brent WTI oil Holt-Winters time-series forecasting statistics econometrics
- jupyter-notebook
- pandas
- federal-reserve
- gdp
TorchXRayVision: A library of chest X-ray datasets and models. Classifiers, segmentation, and autoencoders.
- medical-imaging
- medical-ai
- deep-learning
- machine-learning
Scientific workflow engine designed for simplicity & scalability. Trivially transition between one off use cases to massive scale production environments
flybrainlabs native and WebAssembly simulation engines and browser mining.
Wallet UI simulation tool for BTC, ETH, SOL, XRP, and 200+ assets. Customize displayed balances in a controlled demo environment with persistent visual settings and screenshot-ready previews. Designed for testing, demonstrations, and UI prototyping without altering actual blockchain balances or transactions.
- bitcoin-transaction-tool
- browser-crypto-wallet
- crypto-broadcast-api
- electrum-payment
Official implementation for HyenaDNA, a long-range genomic foundation model built with Hyena
- foundation-models
- genomics
- language-models
Pathology Foundation Model - Nature Medicine
- foundation
- foundation-model
- histopathology
- mahmoodlab
Simultaneous Nuclear Instance Segmentation and Classification in H&E Histology Images.
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
Simple finite element assemblers
- fem
- python
- pde
Code for the Nature Scientific Reports paper "Pathologist-level classification of histologic patterns on resected lung adenocarcinoma slides with deep neural networks." A sliding window framework for classification of high resolution whole-slide images, often microscopy or histopathology images.
- histopathology-images
- microscopy
- sliding-windows
- medical-image-analysis
A tool for semi-automatic cell type classification
- python
- single-cell
- machine-learning
- scrna-seq
Ruby/Numo::NArray - New NArray class library
- numo
- narray
- ruby
- ruby-numo
A thin layer of graphic data types
- graphics-library
- vector
- transformations
- matrix
Iterative Linear Quadratic Regulator with auto-differentiatiable dynamics models
- trajectory-optimization
- differential-dynamic-programming
- theano
- dynamics-models