We currently use time4learning as a supplement for what he is, "learning" in K, DS is definitely a big fan. The program is split into lower(k-3) and upper levels (4 - ?), each with different price points. DS is currently working on the lower level material so I cannot vouch for the upper level material but he loves it. When we signed up in the summer there was a few week trial so hopefully you can play around with it at home to get a feel for it. DS uses this mostly for math and science, hopefully someone else can provide feedback on their language arts.
