Alternatives and similar repositories for ion

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

• idontgetoutmuch / Kalman
  Extended Kalman filtering in Haskell
  ☆23Updated 6 years ago
• mikeizbicki / simd
  simple interface to ghc's simd vector support
  ☆23Updated 9 years ago
• stepcut / idrOS
  An OS written in Idris (eventually...)
  ☆19Updated 10 years ago
• batterseapower / ansi-wl-pprint
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆30Updated 5 years ago
• Shimuuar / fixed-vector
  Fixed length vector for haskell
  ☆21Updated 4 months ago
• rethab / bindings-dsl
  Library and macros to simplify writing Haskell FFI code
  ☆39Updated 2 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated 2 months ago
• acowley / concurrent-machines
  Concurrency features for the Haskell machines package
  ☆17Updated 3 years ago
• hargettp / courier
  A message-passing library, intended for simplifying network applications
  ☆43Updated 7 years ago
• elsen-trading / pgstream
  Binary streaming library for Postgres data pipelines
  ☆17Updated 5 years ago
• andrewthad / serpentine
  Haskell routes using dependent types
  ☆10Updated 8 years ago
• data61 / foldl-statistics
  An reimplementation of the Statistics.Sample Haskell module using the foldl package
  ☆21Updated last year
• jaspervdj / websockets-snap
  Snap integration for the websockets library
  ☆33Updated last year
• PatrickMaier / HdpH
  Haskell distributed parallel Haskell
  ☆37Updated 7 years ago
• dreixel / syb
  Scrap Your Boilerplate generic programming library in Haskell
  ☆45Updated 5 months ago
• SuperpowersCorp / refactorio
  Refactorio is a tool with which you build and maintain software.
  ☆19Updated 11 months ago
• ekmett / tagged
  phantom types
  ☆38Updated 3 months ago
• GaloisInc / halvm-web
  ☆15Updated 8 years ago
• reynir / Verified
  A collection of proofs for some idris class instances - NOT MAINTAINED
  ☆18Updated 10 years ago
• frerich / catamorphism
  A package exposing a function for generating catamorphisms.
  ☆28Updated 7 years ago
• agrafix / superbuffer
  Haskell: Efficiently build a bytestring from smaller chunks
  ☆24Updated 2 years ago
• thsutton / rawr
  Roaring bitmaps in Haskell
  ☆13Updated 6 years ago
• sebastiaanvisser / fclabels
  First class composable record labels for Haskell.
  ☆68Updated 3 years ago
• lpsmith / configurator-ng
  A Haskell library supporting flexible, dynamic file-based configuration.
  ☆16Updated 6 years ago
• well-typed / ixset-typed
  More strongly typed variant of the ixset Haskell package
  ☆24Updated 9 months ago
• lspitzner / multistate
  haskell library for monad transformers, like mtl's ReaderT/StateT, but more than one contained value/type
  ☆17Updated 3 years 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
• sdiehl / cooking-generics
  http://www.stephendiehl.com/posts/generics.html
  ☆12Updated 9 years ago
• awakesecurity / language-ninja
  A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.
  ☆35Updated 7 years ago