GitHub repository: lambdacasserole/equis
Primary language: Idris
Description: A library for solving systems of linear equations, using Idris.