An undirected graph constraint solver for node and edge colors
Calculator and solver for linear equations.
Factor graph solver
Network isomorphism solver using Links Theory - determines if two networks are structurally identical
A solver for the generalized assignment problem.
A Rust implementation of the Gomory-Hu tree algorithm for finding all-pairs min-cuts in a graph.
High-performance PostgreSQL vector database extension v2 - pgvector drop-in replacement with 230+ SQL functions, SIMD acceleration, Flash Attention, GNN layers, hybrid search, multi-tenancy, self-healing, and self-learning capabilities
Sublinear-time solver for RuVector: O(log n) to O(√n) algorithms for sparse linear systems, PageRank, and spectral methods
High-performance sublinear-time solver for asymmetric diagonally dominant systems
Sparse tensor formats and operations for TenRSo
Physics simulation for OxiHuman — soft body, capsule colliders, porous flow
Dependency Resolver library