Skip to content
forked from NicolasT/paxos

A Haskell library implementing several Paxos-related algorithms

License

Notifications You must be signed in to change notification settings

DaveCTurner/paxos

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Paxos

This library aims to provide implementations of several Paxos-style distributed consensus algorithms, in Haskell.

See the bin/ folder for some examples, or build the documentation using Haddock.

About

A Haskell library implementing several Paxos-related algorithms

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Isabelle 60.5%
  • Haskell 39.5%