tropical-algebra

The fastest Tropical number matrix multiplication on GPU

[Version 0.5.0][Registered Package][Functional] (max,+) and (min,+) algebra toolbox for Julia from Scilab toolbox

An implementation of a max-plus tropical algebra based exchange rate arbitrage algorithm.

Python library for calculations in tropical algebra.

Constructive Agda prototype for standpoint-indexed epistemic modalities, separating knowledge (factive) from belief and warrant. Provides a tropical-graded bridge from standpoint access to echo-type residues, and a compositional proof-transport calculus with a no-smuggling guarantee across trust boundaries.

PyTropical is a Python package for tropical mathematics.

Lean 4 applied to max-plus (tropical) algebra to resource-aware type systems for compositional worst-case bounds. Provides a reusable resource-grade axis with parametric transport, a no-go theorem refuting universal protocol interoperability (hub_ceiling); separation proofs distinguishing tropical instances from finite {0,1,ω} reifications & Echosh