Alternatives and similar repositories for ion:

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

• agocorona / TCache
  Transactional cache with configurable persistence
  ☆46Updated last year
• mikeizbicki / simd
  simple interface to ghc's simd vector support
  ☆23Updated 9 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated 9 months ago
• rethab / bindings-dsl
  Library and macros to simplify writing Haskell FFI code
  ☆39Updated 2 years ago
• reynir / Verified
  A collection of proofs for some idris class instances - NOT MAINTAINED
  ☆18Updated 9 years ago
• jaspervdj / websockets-snap
  Snap integration for the websockets library
  ☆33Updated 11 months ago
• idontgetoutmuch / Kalman
  Extended Kalman filtering in Haskell
  ☆23Updated 6 years ago
• hargettp / courier
  A message-passing library, intended for simplifying network applications
  ☆43Updated 6 years ago
• GaloisInc / halvm-web
  ☆15Updated 7 years ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 6 years ago
• Shimuuar / fixed-vector
  Fixed length vector for haskell
  ☆21Updated last month
• ekmett / tagged
  phantom types
  ☆38Updated last month
• thsutton / rawr
  Roaring bitmaps in Haskell
  ☆13Updated 6 years ago
• batterseapower / ansi-wl-pprint
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆30Updated 5 years ago
• lthms / chain
  Extensible, Type Safe Error Handling in Haskell
  ☆13Updated 4 years ago
• samplecount / shake-language-c
  Cross-compilation framework based on the Shake Haskell library.
  ☆28Updated 4 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆47Updated 3 years ago
• elsen-trading / pgstream
  Binary streaming library for Postgres data pipelines
  ☆17Updated 5 years ago
• SuperpowersCorp / refactorio
  Refactorio is a tool with which you build and maintain software.
  ☆19Updated 9 months ago
• tsurucapital / euphoria
  Dynamic network FRP with events and continuous values
  ☆52Updated 4 years ago
• adinapoli / threads-supervisor
  Simple, IO-based Haskell library for Erlang-inspired thread supervisors
  ☆29Updated 2 years ago
• mxswd / data-filepath
  A type safe file path data structure.
  ☆10Updated 8 years ago
• andrewthad / serpentine
  Haskell routes using dependent types
  ☆10Updated 8 years ago
• sdiehl / cooking-generics
  http://www.stephendiehl.com/posts/generics.html
  ☆12Updated 9 years ago
• MichelBoucey / cayley-client
  A Haskell client library for Cayley database graph
  ☆14Updated 6 months ago
• stepcut / idrOS
  An OS written in Idris (eventually...)
  ☆19Updated 10 years ago
• PatrickMaier / HdpH
  Haskell distributed parallel Haskell
  ☆37Updated 7 years ago
• GaloisInc / tower
  A concurrency framework for the Ivory language
  ☆43Updated 5 years ago
• TokTok / hs-msgpack-binary
  Haskell implementation of MessagePack / msgpack.org
  ☆16Updated this week
• barrucadu / minifu
  A tutorial on writing a concurrency testing tool in Haskell
  ☆13Updated 7 years ago