Darcs
| Darcs | |
|---|---|
| Original author(s) | David Roundy | 
| Developer(s) | Guillaume Hoffmann, et al. | 
| Initial release | March 3, 2003 | 
| Stable release | 2.18.5 
   / 9 January 2025 | 
| Repository | |
| Written in | Haskell | 
| Operating system | Unix, Linux, BSD, Apple macOS, MS Windows | 
| Type | Version control | 
| License | GPL-2.0-or-later | 
| Website | darcs | 
Darcs is a distributed version control system created by David Roundy. 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 a recursive acronym for Darcs Advanced Revision Control System.