Alternatives and similar repositories for codfs

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

• nathanielherman / sto
  Software Transactional Objects
  ☆20Updated 7 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• texodus / forml
  A programming language
  ☆77Updated 12 years ago
• bryankate / pequod
  A distributed key-value cache with builtin materialized views.
  ☆26Updated 10 years ago
• brendanhay / numbersd
  Concurrent and efficient implementation of statsd in Haskell
  ☆19Updated 11 years ago
• reverbrain / swarm
  Swarm is aiming at your web
  ☆31Updated 8 years ago
• flavioc / meld
  Meld virtual machine.
  ☆29Updated 9 years ago
• silt / silt
  SILT: A Memory-Efficient, High-Performance Key-Value Store
  ☆177Updated 3 years ago
• efficient / ffbf
  Feed-forward Bloom filters
  ☆52Updated 14 years ago
• ekmett / structures
  A playground for working on advanced data structures in Haskell
  ☆64Updated 9 years ago
• yallop / popl2015-papers
  Accepted papers for POPL 2015
  ☆66Updated 9 years ago
• yallop / haskell2014-papers
  Accepted papers for Haskell 2014
  ☆52Updated 9 years ago
• diegocaro / compression
  Algorithms to compress sorted arrays of integers
  ☆17Updated 11 years ago
• puffnfresh / atsboot
  A tiny 32 bit kernel written in ATS
  ☆26Updated 11 years ago
• esmet / tokufs
  Userspace file-system using the TokuFT fractal tree library
  ☆23Updated 3 years ago
• opennvm / nvmkv
  NVM key-value store API lIbrary repository.
  ☆88Updated 11 years ago
• nushio3 / physics-inhaskell
  Knowledge of classical mechanics, written in haskell.
  ☆14Updated 12 years ago
• fpco / mutable-containers
  Abstactions and concrete implementations of mutable containers
  ☆14Updated 8 years ago
• rumpkernel / rumpctrl
  Control and diagnostic applications for rump kernels
  ☆36Updated 8 years ago
• UWNetworksLab / arrakis
  Arrakis public repository.
  ☆256Updated 7 years ago
• ajhc / ajhc
  A fork of jhc. And also a Haskell compiler.
  ☆134Updated 5 years ago
• gasche / popl2014-papers
  ☆73Updated 11 years ago
• vrv / FAWN-KV
  A Distributed Key-Value Store for FAWN
  ☆77Updated 14 years ago
• jkff / ire
  Incremental regular expression matching
  ☆53Updated 12 years ago
• maximecaron / SIMD-Based-Posting-lists
  Implementation of Alexander A. Stepanov inverted Index Compression algorithms
  ☆21Updated 9 years ago
• erjiang / foxscheme
  An R5RS Scheme in JavaScript.
  ☆17Updated last week
• blynn / blt
  Crit-bit tree (trie) library
  ☆32Updated 10 years ago
• ot / semi_index
  Implementation of the JSON semi-index described in the paper "Semi-Indexing Semi-Structured Data in Tiny Space"
  ☆57Updated 12 years ago
• GaloisInc / mistral
  An interpreter for the Mistral language.
  ☆19Updated 7 years ago
• GaloisInc / HaNS
  The haskell network stack
  ☆115Updated 7 years ago