3 ms·
Anyone knows if a git (partial) rewrite has been attempted in Rust yet? Might be worth a shot — should be similar performance with stronger guarantees, and las
by fkarg 5y ago
Anyone knows if a git (partial) rewrite has been attempted in Rust yet?
Might be worth a shot — should be similar performance with stronger guarantees, and last I checked git was a cesspool with bash and Perl mixed in all over the place.
- masklinn 5y ago> Anyone knows if a git (partial) rewrite has been attempted in Rust yet? There’s a project called gitoxide, though I don’t know whether its goal is to rewrite git itself.
- johnisgood 5y agoWhy not a formally verified git, then, using Ada/SPARK? :)