NicolasT / paxosLinks
A Haskell library implementing several Paxos-related algorithms
☆25Updated 12 years ago
Alternatives and similar repositories for paxos
Users that are interested in paxos are comparing it to the libraries listed below
Sorting:
- Haskell library for efficiently building up buffers☆26Updated 7 months ago
- simple interface to ghc's simd vector support☆23Updated 10 years ago
- Haskell: Efficiently build a bytestring from smaller chunks☆24Updated 3 years ago
- A bad XML parser☆22Updated 11 months ago
- Haskell pretty printing library supporting indentation, mixfix operators, and automatic line breaks.☆14Updated 8 years ago
- Roaring bitmaps in Haskell☆13Updated 6 years ago
- Finitely represented /total/ maps☆17Updated 5 years ago
- "Fail Fast" process management for Haskell; inspired by Erlang☆16Updated 8 years ago
- "Programs that explain their effects" talk material☆17Updated 7 years ago
- Safe, programmable, speculative evaluation for Haskell☆29Updated 6 years ago
- ☆18Updated last month
- An append only list in a compact region☆25Updated 6 years ago
- Haskell streaming library optimized for low CPU and GC overhead☆16Updated 7 years ago
- ST with efficient exceptions☆20Updated 8 years ago
- A package re-exporting the verified subset of containers☆20Updated 7 years ago
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆21Updated 7 years ago
- Abstactions and concrete implementations of mutable containers☆14Updated 9 years ago
- Run lifted IO operations asynchronously and wait for their results☆29Updated 9 months ago
- ☆33Updated 10 years ago
- A Haskell event notification library☆46Updated 15 years ago
- A Haskell program and library to derive instances for data types☆25Updated 5 years ago
- Haskell Join-calculus DSL☆24Updated 6 years ago
- Succinct vectors☆20Updated 6 years ago
- Succinct binary serialization☆15Updated 7 years ago
- Flush system metrics to statsd☆26Updated 4 months ago
- A fast, cache-efficient, concurrent bloom filter in Haskell☆19Updated 7 years ago
- Hybrid vectors e.g. mixed boxed/unboxed vectors that are suitable for use with vector-algorithms☆13Updated 8 months ago
- ☆31Updated 3 years ago
- [W.I.P] A Just-In-Time Java Virtual Machine written in Haskell☆21Updated 4 years ago
- A message-passing library, intended for simplifying network applications☆43Updated 7 years ago