Top 7 Python Linear Algebra Projects

pygraphblas

7 338 0.0 Python

GraphBLAS for Python

Project mention: Large Photonic Processor Solves Graph Problems | news.ycombinator.com | 2023-05-10

This is interesting to me because it's advancing the work on the notion of quantum graph problem solving.
I'm sure we've all heard how quantum computers can be used in the future to decrypt information from today. There's a lot of research out there on how QC may be able to efficiently factor large semiprimes and bust our existing cryptographic algorithms, but to me this is the more mundane side of QC.
The exciting side to me is that many graph problems, particularly whole graph problems like connectivity and shortest paths have a potential quantum advantage. This is particularly advantageous for sparse and hypersparse graphs that have billions of nodes but relatively low node degree. Language Models, chemical assay databases, proteomics, causal inference, and fraud detection are just a few problems that involve huge sparse graphs that could get a huge boost from quantum.
And to show my own bias here [1], I think the future of graph algorithms, including quantum, is expressing them in Linear Algebraic form with the GraphBLAS API. Using the GraphBLAS, you can write your algorithm in a mathematical form using the multiplication of adjacency matrices that is then synthesized to some optimal form for a given architecture.
The same code you write can then be run on a variety of backends, currently CPUs and CUDA using SuiteSparse's new JIT, but soon FPGAs and yes, quantum computers. Parallelism will become so broad and conceptually divergent that you won't even be able to conceive of an efficient hand written single function for all possible platforms.
[1] https://github.com/Graphegon/pygraphblas
numpysane

4 28 6.2 Python

more-reasonable core functionality for numpy

Project mention: numpysane: more reasonable core functions for numpy | /r/Python | 2023-05-21
InfluxDB

www.influxdata.com
sponsored

Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
SMPT

1 27 6.4 Python

SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).

Project mention: Petri Net for tokio ? | /r/rust | 2023-09-05

I also found https://github.com/nicolasAmat/SMPT maybe it should be used because SMT, Z3 looks familiar. It's used in fancy new theorem provers.
hotstepper

3 14 3.2 Python

A Numpy based step function library for analysis and profit. More than just taking you up and down.
VirxERLU

1 8 0.0 Python

Big thanks to ddthj/GoslingUtils for the basis of VirxERLU. However, VirxERLU improves upon many things. This includes pathfinding, shot validation, and aerials. It also adds many things, like support for TMCP and a GUI for debugging.
linsolver

1 4 0.0 Python

Linear equation solver in python.
Simplex_Numpy

1 3 0.0 Python

Creating a Linear Program Solver by Implementing the Simplex Method in Python with NumPy
WorkOS

workos.com
sponsored

The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020). The latest post mention was on 2023-09-05.