Kaliningraph

Implements a novel computational model for graph computation, translating to iterated matrix multiplication on GPUs. Supports algebraic circuits, neural networks, proof networks, and various propagation schemes using message passing. Provides visualization, translation between graph formats, and tools for regex to NFA compilation.