Formalizing linear algebra in Agda by representing matrices as functions (by ryanorendorff)

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
    1 project | | 2 Sep 2021
    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.


Basic functional-linear-algebra repo stats
4 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.

SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
Find remote jobs at our new job board There are 32 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.