Alternatives and similar repositories for ion

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

• GaloisInc / halfs
  The Haskell File System: A file system implementation in Haskell
  ☆38Updated 10 years ago
• jaspervdj / websockets-snap
  Snap integration for the websockets library
  ☆33Updated last year
• idontgetoutmuch / Kalman
  Extended Kalman filtering in Haskell
  ☆23Updated 6 years ago
• Shimuuar / fixed-vector
  Fixed length vector for haskell
  ☆21Updated this week
• mikeizbicki / simd
  simple interface to ghc's simd vector support
  ☆23Updated 10 years ago
• hunt-framework / hayoo
  Hackage search engine
  ☆56Updated 7 years ago
• GaloisInc / halvm-web
  ☆15Updated 8 years ago
• hargettp / courier
  A message-passing library, intended for simplifying network applications
  ☆43Updated 7 years ago
• ekmett / tagged
  phantom types
  ☆38Updated 5 months ago
• tomahawkins / improve
  An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…
  ☆57Updated 13 years ago
• thsutton / rawr
  Roaring bitmaps in Haskell
  ☆13Updated 6 years ago
• ozataman / csv-conduit
  Flexible, fast and constant-space CSV library for Haskell using conduits
  ☆52Updated 2 months ago
• patrickt / blimp
  an example airship app
  ☆14Updated 8 years ago
• zadarnowski / quiver
  Quiver stream processing library
  ☆15Updated 8 years ago
• chadaustin / buffer-builder
  Haskell library for efficiently building up buffers
  ☆26Updated 6 months ago
• rethab / bindings-dsl
  Library and macros to simplify writing Haskell FFI code
  ☆40Updated 2 years ago
• agocorona / TCache
  Transactional cache with configurable persistence
  ☆46Updated 2 years ago
• stepcut / idrOS
  An OS written in Idris (eventually...)
  ☆20Updated 10 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated 4 months ago
• mitchellwrosen / dohaskell
  Tagged Haskell learning resources index
  ☆21Updated 8 years ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 6 years ago
• reynir / Verified
  A collection of proofs for some idris class instances - NOT MAINTAINED
  ☆18Updated 10 years ago
• elsen-trading / pgstream
  Binary streaming library for Postgres data pipelines
  ☆17Updated 5 years ago
• serokell / foundry
  Morte IDE
  ☆29Updated 3 months ago
• reinh / haskell-wishlist
  A curated wishlist of Haskell libraries, packages, and tools
  ☆17Updated 9 years ago
• andrewthad / serpentine
  Haskell routes using dependent types
  ☆10Updated 8 years ago
• agrafix / superbuffer
  Haskell: Efficiently build a bytestring from smaller chunks
  ☆24Updated 3 years ago
• riak-haskell-client / riak-haskell-client
  A fast Haskell client library for the Riak decentralized data store
  ☆50Updated 2 years ago
• barrucadu / minifu
  A tutorial on writing a concurrency testing tool in Haskell
  ☆13Updated 7 years ago
• Happstack / happstack-foundation
  ☆8Updated 3 years ago