Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
Repository Index
77,852 visible repositories in the index
1–24 of 196 · Most stars
Burn is a next generation tensor library and Deep Learning Framework that doesn't compromise on flexibility, efficiency and portability.
- autodiff
- deep-learning
- machine-learning
- rust
Stellarium is a free GPL software which renders realistic skies in real time with OpenGL. It is available for Linux/Unix, Windows, macOS and Haiku. With Stellarium, you really see what you can see with your eyes, binoculars or a small telescope.
PyTorch3D is FAIR's library of reusable components for deep learning with 3D data
Flexible and powerful tensor operations for readable and reliable code (for pytorch, jax, TF and others)
weather app for the terminal
- go
- wego
- forecast
- weather
A Python framework for GPU-accelerated simulation, robotics, and machine learning.
- differentiable-programming
- python
- gpu-acceleration
- nvidia
Differentiable ODE solvers with full GPU support and O(1)-memory backpropagation.
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
The open-source AI research workbench for scientific research and agent workflows. Local-first, model-agnostic desktop app with extensible skills, MCP tools and connectors, Python/R execution and traceable artifacts for reproducible research on macOS, Windows and Linux.
- ai-for-science
- local-first
- reproducible-research
- open-science
A PyTorch Library for Accelerating 3D Deep Learning Research
- pytorch
- 3d-deep-learning
- neural-networks
- differentiable-rendering
Desktop app for managing BibTeX and BibLaTeX (.bib) libraries
- jabref
- bibtex
- java
- latex
TranslatedDeepAnalyze is the first agentic LLM for autonomous data science. 🎈Your AI data analyst, automatically analyzes large amounts of data and generates professional analysis reports with one click!
Segment Anything in Medical Images
Eclipse SUMO is an open source, highly portable, microscopic and continuous traffic simulation package designed to handle large networks. It allows for intermodal simulation including pedestrians and comes with a large set of tools for scenario creation.
- traffic
- simulation
- transport
N-D labeled arrays and datasets in Python
A BVH implementation to speed up raycasting and enable spatial queries against three.js meshes.
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.
Trainable, memory-efficient, and GPU-friendly PyTorch reproduction of AlphaFold 2
- pytorch
- protein-structure
- alphafold2
Making Protein folding accessible to all!
- bioinformatics
- multiple-sequence-alignment
- protein-structure
- structure-prediction
Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.
- ai-native
- description-logics
- knowledge-graph
- mcp
HyperFormula is an open-source headless spreadsheet for business web apps. It comes with over 400 formulas, CRUD operations, undo-redo, clipboard support, and sorting.
- calculation-engine
- formula
- typescript
- evaluator
R toolkit for single cell genomics
- human-cell-atlas
- single-cell-rna-seq
- single-cell-genomics
- cran
Unsupervised Learning for Image Registration
- image-registration
- image-alignment
- machine-learning
- deep-learning