here you go mate, exactly what you are looking for : https://github.com/little-book-of/linear-algebra#contributin...
Writing this book has been a real challenge for me, since all the books I enjoy reading are very formal ones :))
Anyone here into Grothendieck's SGA or EGA? (Sorry, a bit off topic!)