Darcs

Darcs is a distributed revision control system created by David Roundy; it was designed to replace traditional, centralized source control systems such as CVS and Subversion. Key features include the ability to choose which changes to accept from other repositories, interaction with either other local (on-disk) repositories or remote repositories via SSH, HTTP, or email, and an unusually interactive interface. The developers also emphasize the use of advanced software tools for verifying correctness: the expressive type system of the functional programming language Haskell enforces some properties, and randomized testing via QuickCheck verifies many others. The name is usually sentence-cased, and is a recursive acronym for Darcs Advanced Revision Control System.

Read more about DarcsModel, Shortcomings, History, Related

Other articles related to "darcs":

Comparison Of Revision Control Software - User Interfaces
... Qt available All those that support CVS, plus commercial plugins for SCCI, Bugzilla, Build darcs darcs.cgi included darcsweb, Trac under development TortoiseDarcs ...
Darcs - Related
... A related project called Camp ("Commute and merge patches") attempts to develop Darcs's patch algebra more formally, including the use of Coq to prove the ... Camp remains close to the Darcs project and the authors expect the two projects to merge again once Camp is more mature ...