Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
Repository Index
47,133 repositories indexed
1–24 of 72 · Most stars
PyTorch3D is FAIR's library of reusable components for deep learning with 3D data
weather app for the terminal
- go
- wego
- forecast
- weather
Genetic Algorithm, Particle Swarm Optimization, Simulated Annealing, Ant Colony Optimization Algorithm,Immune Algorithm, Artificial Fish Swarm Algorithm, Differential Evolution and TSP(Traveling salesman)
- genetic-algorithm
- pso
- particle-swarm-optimization
- tsp
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
A PyTorch Library for Accelerating 3D Deep Learning Research
- pytorch
- 3d-deep-learning
- neural-networks
- differentiable-rendering
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
A fast and flexible implementation of Rigid Body Dynamics algorithms and their analytical derivatives
- robotics
- dynamics
- analytical-derivatives
- kinematics
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
High-performance C++ library for multiphysics and multibody dynamics simulations
Fast numerical array expression evaluator for Python, NumPy, Pandas, PyTables and more
Multiphysics Object Oriented Simulation Environment: A robust, modern, extendable, finite element/finite volume framework that excels at creating complex multiphysics simulations.
- multiphysics
- simulation
- fem
- finite-elements
Lightweight, general, scalable C++ library for finite element methods
- finite-elements
- high-order
- high-performance-computing
- parallel-computing
Flexible Collision Library
- collision
- collision-detection
A .NET GIS solution that is fast and reliable for the .NET platform.
- topology
- nts
- sfs
- c-sharp
A set of documented functions for simulating the performance of photovoltaic energy systems.
- solar-energy
- python
- renewable-energy
- renewables
GeneticSharp is a fast, extensible, multi-platform and multithreading C# Genetic Algorithm library that simplifies the development of applications using Genetic Algorithms (GAs).
- genetic-algorithms
- artificial-intelligence
- c-sharp
- dotnet
Python+Numpy+OpenGL: fast, scalable and beautiful scientific visualization
🦖 ClawBio - The first bioinformatics-native AI agent skill library. Local-first. Reproducible. Open. Free.
Immutable in-memory R-tree and R*-tree implementations in Java with reactive api
Validated, scalable, community developed variant calling, RNA-seq and small RNA analysis
QuadriFlow: A Scalable and Robust Method for Quadrangulation
- quadriflow
- quad
- remeshing
- quadrangulation