GitHub repository: JuliaLinearAlgebra/InfiniteLinearAlgebra.jl
Primary language: Julia
Description: A Julia repository for linear algebra with infinite matrices