[kibwen]

Pijul, linked in a sibling comment, appears to actually be a Rust implementation of Darcs (or at least inspired by it).

[pijul]

Pijul is not a reimplementation of darcs, it's based on a new theory, without the performance drawbacks of darcs.

Btw, rewriting darcs would really feel like reinventing the wheel. Haskell is safe and great already.