Darcs (David's Advanced Revision Control System) is a revision control system in the manner of CVS, arch, monotone, etc., but it is decentralized, based on a "theory of patches" with roots in quantum mechanics. It is implemented in extended Haskell, and is freely available under the GPL on many platforms. A mirror of the Linux kernel development tree is maintained by darcs.

Also see the Darcs home page.