I'd check Sourceforge, but I don't think there are any. I know of a few trial software, but the best I can think for editing which is free (and don't laugh) is Microsoft Movie Maker.
All Windows have it installed as Standard (since Millennium Edition), it's actually quite good. Only exports WMV though, which actually isn't all that bad given you can use Media Encoder to convert it to WM9, which is quite compact and good quality.
DivX, WM9, and Bink tend to be roughly equal in terms of compression, playback sizes, and quality.