functional-linear-algebra reviews and mentions
Posts with mentions or reviews of functional-linear-algebra.
We have used some of these posts to build our list of alternatives
and similar projects.
-
"I code as a hobby!" — Ryan Orendorff
Yes, I code as a hobby! I have an open source package called "Functional Linear Algebra" for Agda where I am playing around with what linear algebra I can prove in Agda. Otherwise I contribute to the Nix repository on occasion.
Stats
Basic functional-linear-algebra repo stats
1
25
4.3
5 months ago
ryanorendorff/functional-linear-algebra is an open source project licensed under BSD 3-clause "New" or "Revised" License which is an OSI approved license.
The primary programming language of functional-linear-algebra is Agda.
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com