Alternatives and similar repositories for amoeba:

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

• brendanhay / numbersd
  Concurrent and efficient implementation of statsd in Haskell
  ☆19Updated 11 years ago
• mvv / data-elf
  ELF data structures for Haskell
  ☆24Updated 2 years ago
• gasche / icfp2013-papers
  List of ICFP'13 accepted papers, with links to preprint or additional information when available
  ☆72Updated 8 years ago
• avieth / Algebraic
  Experiments on the construction of functions
  ☆29Updated 9 years ago
• ecaustin / haskhol-core
  The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.
  ☆2Updated 8 years ago
• agrafix / hackmanager
  Simplify managing Haskell projects by generating files like README.md, .travis.yml, etc.
  ☆12Updated 9 years ago
• jwiegley / linearscan
  ☆17Updated 2 years ago
• stepcut / hyperdrive
  A fast, low-level HTTP server you can trust
  ☆47Updated 6 years ago
• ku-fpg / hermit
  Haskell Equational Reasoning Model-to-Implementation Tunnel
  ☆49Updated 2 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• agrafix / superbuffer
  Haskell: Efficiently build a bytestring from smaller chunks
  ☆24Updated 2 years ago
• bmsherman / haskell-matlab
  Matlab bindings and interface for Haskell
  ☆13Updated 4 years ago
• andyarvanitis / idris-cplusplus
  Experimental C++11 backend for Idris
  ☆14Updated 10 years ago
• fpco / mutable-containers
  Abstactions and concrete implementations of mutable containers
  ☆14Updated 8 years ago
• froozen / kademlia
  A haskell library implementing the Kademlia DHT
  ☆43Updated 6 years ago
• ekmett / gc
  Poor Richard's Memory Manager
  ☆15Updated 4 years ago
• sdiehl / cooking-generics
  http://www.stephendiehl.com/posts/generics.html
  ☆12Updated 9 years ago
• dterei / GhciOnline
  Online version of GHCi that supports safely executing untrusted code.
  ☆26Updated 9 years ago
• VictorTaelin / unknown_halting_status
  Small programs with unknown halting status.
  ☆12Updated 8 years ago
• mstone / soutei
  a logic-based trust-management system
  ☆19Updated 12 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆48Updated 3 years ago
• reynir / Verified
  A collection of proofs for some idris class instances - NOT MAINTAINED
  ☆18Updated 9 years ago
• yallop / icfp2014-papers
  Accepted papers for ICFP 2014
  ☆119Updated 8 years ago
• sshastry / queenslogic
  n queens with the logic monad
  ☆20Updated 10 years ago
• ekmett / hyperloglog
  A constant-memory approximation of set membership
  ☆25Updated 3 months ago
• Gabriella439 / Haskell-Succinct-Vector-Library
  Succinct vectors
  ☆20Updated 6 years ago
• bennofs / haskell-generate
  Type-safe library for generating haskell source code
  ☆28Updated 7 years ago
• nomeata / bisect-binary
  Tool to determine relevant parts of binary data
  ☆44Updated 7 years ago
• bch29 / robo-monad
  Heavily inspired by RoboCode. Program robots in Haskell and watch them fight.
  ☆15Updated 9 years ago
• patrickt / blimp
  an example airship app
  ☆14Updated 8 years ago