Skip to content
GitLab
Explore
Sign in
distributed-systems
election
Repository
Branches
Overview
Active
Stale
All
Stale branches
master
default
protected
89671aae
·
Add an election alg inspired by hirschbergSinclair but without a max distance,...
·
May 14, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/carter/coinductiveRingThing
68cac383
·
strawman cleaner names for a while ago
·
Jul 13, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/carter/betterNamesCoinductiveCleanedupWithSerials
72efab85
·
Merge branch 'wip/carter/betterNamesCoinductiveCleanedupWithSerials' of...
·
Jul 14, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/carter/cleaner-svelter-monoids
72efab85
·
Merge branch 'wip/carter/betterNamesCoinductiveCleanedupWithSerials' of...
·
Jul 14, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/davean/coinductiveRingModeling
72efab85
·
Merge branch 'wip/carter/betterNamesCoinductiveCleanedupWithSerials' of...
·
Jul 14, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar