Alternatives

Products that do what A Rigorous Proofless Approach to Linear Algebra [pdf] does

1. 1AM
   A minimal linear algebra library in pure Go▲5

   Jun 2026 · github.com

2. 2AN
   Algebraic Number Theory in Python 3▲157

   2018 · github.com

3. 3PA
   "Programming Algorithms in Lisp” Book▲232

   2021 · apress.com

4. 4PA
   Poica – Algebraic data types and type introspection for pure C▲116

   2020 · github.com

5. 5CA
   Caramel – a modern syntax for the lambda calculus▲130

   2015 · github.com

6. 6EI
   Easy intro book to Clojure and immutability▲148

   2019 · getprogrammingwithclojure.com

7. 7EA
   Eole, a Lévy-optimal lambda calculus evaluator written in Rust▲106

   2019 · github.com

8. 8OH
   Optimizing Higher Order Functions with Hypothetical Inverses▲55

   2016 · medium.com

9. 9AI
   An Interpreter for Extended Relational Algebra (Scheme Based)▲52

   2016 · github.com

10. 10AM
    A modernized and annotated code companion to Paul Graham's “On Lisp”▲93

    2015 · github.com

11. 11LA
    Llr – a Clojure inspired Lisp that compiles to R in R▲63

    2021 · github.com

12. 12DH
    Diffie-Hellman exchange for the layman▲75

    2021 · borisreitman.com

13. 13PC
    Proof Companion – Geometry proof practice for students▲64

    2017 · proofcompanion.com

14. 14PM
    Portable matrix multiplication library▲15

    2018 · github.com

15. 15AT
    A toy compiler of a Scala subset▲13

    2021 · mykolav.github.io

16. 16OM
    Ompr – mixed integer linear programming in R▲39

    2017 · github.com

17. 17IF
    Interactive factorization diagrams▲26

    2015 · david-peter.de

18. 18AP
    A pure Swift port of the Cassowary linear constraints solver▲39

    2017 · github.com

19. 19FI
    FLP Impossibility Theorem Proof in Coq▲38

    2015 · github.com

20. 20IT
    Implementing Truncated Matrix Decompositions for Core.Matrix▲12

    2014 · blog.shriphani.com

21. 21OA
    OSQP: a new first-order solver for large-scale quadratic programs▲39

    2017 · osqp.readthedocs.io

22. 22TA
    The A-C Coupling Theorem – Solving Diophantine Systems in O(1)▲5

    Jun 2026 · zenodo.org

23. 23DA
    Data algebra, going back to Codd's relational operators▲7

    2021 · win-vector.com

24. 24TL
    Tiny Lisp (based on pg’s roots of Lisp) in caml▲11

    2022 · github.com

Ranked by how close each launch is in meaning, then by votes. Refine with a description →