Alternatives and similar repositories for codfs

Users that are interested in codfs are comparing it to the libraries listed below

• brendanhay / numbersd
  Concurrent and efficient implementation of statsd in Haskell
  ☆19Updated 11 years ago
• bringhurst / tlaplus
  ☆27Updated 11 years ago
• GaloisInc / tower
  A concurrency framework for the Ivory language
  ☆44Updated 5 years ago
• NicolasT / kontiki
  An implementation of the Raft consensus protocol
  ☆121Updated 2 years ago
• texodus / forml
  A programming language
  ☆77Updated 12 years ago
• ekmett / structures
  A playground for working on advanced data structures in Haskell
  ☆64Updated 9 years ago
• quchen / amoeba
  Amœba is a distributed network.
  ☆18Updated 11 years ago
• GaloisInc / HaNS
  The haskell network stack
  ☆115Updated 7 years ago
• ajhc / ajhc
  A fork of jhc. And also a Haskell compiler.
  ☆134Updated 6 years ago
• elsen-trading / pgstream
  Binary streaming library for Postgres data pipelines
  ☆17Updated 5 years ago
• bryankate / pequod
  A distributed key-value cache with builtin materialized views.
  ☆26Updated 10 years ago
• buildsome / buildsome
  Buildsome: The awesome build system
  ☆53Updated 2 years ago
• dterei / Research-Papers
  Collection of various research papers I find interesting
  ☆84Updated 9 years ago
• bjpop / haskell-mpi
  MPI bindings for Haskell
  ☆46Updated 2 years ago
• yallop / popl2015-papers
  Accepted papers for POPL 2015
  ☆66Updated 9 years ago
• heidihoward / ocaml-raft
  Implementation of Raft consensus algorithm
  ☆112Updated 10 years ago
• NicolasT / paxos
  A Haskell library implementing several Paxos-related algorithms
  ☆25Updated 12 years ago
• yallop / haskell2014-papers
  Accepted papers for Haskell 2014
  ☆52Updated 9 years ago
• ekmett / succinct
  playground for working with succinct data structures
  ☆97Updated 9 years ago
• silt / silt
  SILT: A Memory-Efficient, High-Performance Key-Value Store
  ☆177Updated 3 years ago
• gasche / popl2016-papers
  Links to publicly available preprints for the POPL'16 conference
  ☆120Updated 8 years ago
• mwotton / lz4hs
  Haskell bindings to lz4
  ☆21Updated 11 years ago
• vrv / FAWN-KV
  A Distributed Key-Value Store for FAWN
  ☆77Updated 14 years ago
• fpco / mutable-containers
  Abstactions and concrete implementations of mutable containers
  ☆14Updated 9 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• nathanielherman / sto
  Software Transactional Objects
  ☆20Updated 7 years ago
• ilya-klyuchnikov / henk
  Pure Type Systems for Functional Programming
  ☆31Updated 4 years ago
• dterei / GhciOnline
  Online version of GHCi that supports safely executing untrusted code.
  ☆26Updated 9 years ago
• archhaskell / cblrepo
  Tool to simplify managing a consistent set of Haskell packages for distributions.
  ☆39Updated 7 years ago
• UWSysLab / specpaxos
  Speculative Paxos replication protocol
  ☆130Updated 8 years ago