Alternatives and similar repositories for amoeba

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

• mstone / soutei
  a logic-based trust-management system
  ☆19Updated 13 years ago
• stepcut / hyperdrive
  A fast, low-level HTTP server you can trust
  ☆46Updated 7 years ago
• yallop / icfp2014-papers
  Accepted papers for ICFP 2014
  ☆119Updated 9 years ago
• ku-fpg / hermit
  Haskell Equational Reasoning Model-to-Implementation Tunnel
  ☆50Updated 2 years ago
• ekmett / transients
  Clojure-style transients for Haskell
  ☆34Updated 3 years ago
• elsen-trading / pgstream
  Binary streaming library for Postgres data pipelines
  ☆17Updated 6 years ago
• agrafix / superbuffer
  Haskell: Efficiently build a bytestring from smaller chunks
  ☆24Updated 3 years ago
• dterei / GhciOnline
  Online version of GHCi that supports safely executing untrusted code.
  ☆26Updated 9 years ago
• agrafix / hackmanager
  Simplify managing Haskell projects by generating files like README.md, .travis.yml, etc.
  ☆12Updated 10 years ago
• Gabriella439 / Haskell-Succinct-Vector-Library
  Succinct vectors
  ☆20Updated 7 years ago
• nomeata / bisect-binary
  Tool to determine relevant parts of binary data
  ☆44Updated 8 years ago
• ekmett / structures
  A playground for working on advanced data structures in Haskell
  ☆64Updated 10 years ago
• ekmett / succinct
  playground for working with succinct data structures
  ☆97Updated 10 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 14 years ago
• bch29 / robo-monad
  Heavily inspired by RoboCode. Program robots in Haskell and watch them fight.
  ☆15Updated 10 years ago
• gfixler / continou
  Companion code to the talk "Finite Flights on an Infinite Plane" (http://www.meetup.com/santa-monica-haskell/events/227156054/)
  ☆15Updated 7 months ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆90Updated 4 years ago
• mietek / idris-bash
  GNU bash backend for Idris
  ☆52Updated 6 years ago
• jwiegley / linearscan
  ☆17Updated 3 years ago
• brendanhay / numbersd
  Concurrent and efficient implementation of statsd in Haskell
  ☆19Updated 11 years ago
• fpco / mutable-containers
  Abstactions and concrete implementations of mutable containers
  ☆13Updated 9 years ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 6 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆48Updated 4 years ago
• UnkindPartition / prover
  Simple lambda prover
  ☆24Updated 10 years ago
• riak-haskell-client / riak-haskell-client
  A fast Haskell client library for the Riak decentralized data store
  ☆50Updated 2 years ago
• facebookarchive / hs-zstd
  Bindings to the Zstandard library to make it usable from the Haskell programming language.
  ☆47Updated 8 years ago
• frerich / catamorphism
  A package exposing a function for generating catamorphisms.
  ☆29Updated 7 years ago
• co-dan / interactive-diagrams
  Interactive-diagrams
  ☆39Updated 10 years ago
• bobatkey / sorting-types
  Typed DSLs for sorting
  ☆20Updated 7 years ago
• chadaustin / buffer-builder
  Haskell library for efficiently building up buffers
  ☆27Updated last year