• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for cloudchor-0.1.0.0 source tarball

cloudchor-0.1.0.0/

• LICENSE-HasChor.txt
• LICENSE.txt
• README.md
• cloudchor.cabal
• bench/
  • Benchmark.hs
  • Main.hs
  • Choreos/
    • Bookseller.hs
    • CleanRoom.hs
    • Kvs.hs
• examples/
  • HasChor/
    • bank-2pc/
      • Main.hs
    • bookseller-0-network/
      • Main.hs
    • bookseller-1-simple/
      • Main.hs
    • bookseller-2-higher-order/
      • Main.hs
    • bookseller-3-loc-poly/
      • Main.hs
    • diffiehellman/
      • Main.hs
    • karatsuba/
      • Main.hs
    • kvs-1-simple/
      • Main.hs
    • kvs-2-primary-backup/
      • Main.hs
    • kvs-3-higher-order/
      • Main.hs
    • kvs-4-loc-poly/
      • Main.hs
    • mergesort/
      • Main.hs
    • playground/
      • Main.hs
    • quicksort/
      • Main.hs
    • ring-leader/
      • Main.hs
  • clean-room/
    • Main.hs
  • unsoundness/
    • Main.hs
• src/
  • Choreography.hs
  • Choreography/
    • Choreo.hs
    • Location.hs
    • Network.hs
    • Location/
      • Multi.hs
    • Network/
      • Http.hs
      • Local.hs
      • LocalMsgCount.hs
  • Control/
    • Monad/
      • Freer.hs