Alternatives and similar repositories for ion

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

• mikeizbicki / simd
  simple interface to ghc's simd vector support
  ☆23Updated 10 years ago
• stepcut / idrOS
  An OS written in Idris (eventually...)
  ☆20Updated 10 years ago
• GaloisInc / halvm-web
  ☆15Updated 8 years ago
• awakesecurity / language-ninja
  A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.
  ☆35Updated 7 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated 8 months ago
• hargettp / courier
  A message-passing library, intended for simplifying network applications
  ☆44Updated 7 years ago
• thsutton / rawr
  Roaring bitmaps in Haskell
  ☆13Updated 7 years ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 7 years ago
• yallop / icfp2014-papers
  Accepted papers for ICFP 2014
  ☆119Updated 9 years ago
• idontgetoutmuch / Kalman
  Extended Kalman filtering in Haskell
  ☆23Updated 7 years ago
• ekmett / tagged
  phantom types
  ☆38Updated last month
• hunt-framework / hayoo
  Hackage search engine
  ☆56Updated 7 years ago
• 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
• sebastiaanvisser / fclabels
  First class composable record labels for Haskell.
  ☆68Updated 3 weeks ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆48Updated 4 years ago
• mwotton / judy
  ☆18Updated 3 years ago
• jwiegley / linearscan
  ☆17Updated 3 years ago
• agocorona / TCache
  Transactional cache with configurable persistence
  ☆45Updated 2 years ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 6 years ago
• bmillwood / haskell-src-meta
  Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.
  ☆27Updated last year
• tel / hotep
  "Fail Fast" process management for Haskell; inspired by Erlang
  ☆16Updated 8 years ago
• chadaustin / buffer-builder
  Haskell library for efficiently building up buffers
  ☆26Updated 10 months ago
• conal / circat
  A categorical framework for circuit construction
  ☆31Updated 9 years ago
• barrucadu / minifu
  A tutorial on writing a concurrency testing tool in Haskell
  ☆12Updated 8 years ago
• Shimuuar / fixed-vector
  Fixed length vector for haskell
  ☆21Updated 4 months ago
• batterseapower / ansi-wl-pprint
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆31Updated 6 years ago
• adinapoli / threads-supervisor
  Simple, IO-based Haskell library for Erlang-inspired thread supervisors
  ☆29Updated 3 years ago
• Gabriella439 / Haskell-Succinct-Vector-Library
  Succinct vectors
  ☆20Updated 6 years ago
• riak-haskell-client / riak-haskell-client
  A fast Haskell client library for the Riak decentralized data store
  ☆50Updated 2 years ago