There's a lot of great responses, but I really like Linear Algebra by Harold Edwards. He's an excellent writer and takes an algorithmic approach in his approach

There's a lot of great responses, but I really like Linear Algebra by Harold Edwards. He's an excellent writer and takes an algorithmic approach in his approach. It's pretty short and designed for one-semester, and you could learn a lot from coding the various algorithms.