Alternatives and similar repositories for ion

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

• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆48Updated 4 years ago
• mikeizbicki / simd
  simple interface to ghc's simd vector support
  ☆23Updated 10 years ago
• ozataman / csv-conduit
  Flexible, fast and constant-space CSV library for Haskell using conduits
  ☆52Updated 7 months ago
• idontgetoutmuch / Kalman
  Extended Kalman filtering in Haskell
  ☆23Updated 7 years ago
• GaloisInc / halfs
  The Haskell File System: A file system implementation in Haskell
  ☆38Updated 10 years ago
• GaloisInc / halvm-web
  ☆15Updated 8 years ago
• hargettp / courier
  A message-passing library, intended for simplifying network applications
  ☆44Updated 7 years ago
• jaspervdj / websockets-snap
  Snap integration for the websockets library
  ☆33Updated last year
• hunt-framework / hayoo
  Hackage search engine
  ☆56Updated 7 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated 2 weeks ago
• stepcut / idrOS
  An OS written in Idris (eventually...)
  ☆20Updated 10 years ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 6 years ago
• rethab / bindings-dsl
  Library and macros to simplify writing Haskell FFI code
  ☆40Updated 3 years ago
• chadaustin / buffer-builder
  Haskell library for efficiently building up buffers
  ☆27Updated 11 months ago
• icicle-lang / disorder.hs-ambiata
  QuickCheck extras.
  ☆29Updated 6 years ago
• TokTok / hs-msgpack-binary
  Haskell implementation of MessagePack / msgpack.org
  ☆16Updated 8 months ago
• elsen-trading / pgstream
  Binary streaming library for Postgres data pipelines
  ☆17Updated 6 years ago
• syallop / Join-Language
  Haskell Join-calculus DSL
  ☆24Updated 6 years ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 6 years ago
• sebastiaanvisser / fclabels
  First class composable record labels for Haskell.
  ☆68Updated 2 months ago
• riak-haskell-client / riak-haskell-client
  A fast Haskell client library for the Riak decentralized data store
  ☆50Updated 2 years ago
• tomahawkins / improve
  An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…
  ☆57Updated 14 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 14 years ago
• jwiegley / linearscan
  ☆17Updated 3 years ago
• conal / circat
  A categorical framework for circuit construction
  ☆31Updated 9 years ago
• mainland / language-c-quote
  ☆60Updated last year
• vincenthz / hit
  library to manipulate git repositories in haskell (no bindings)
  ☆50Updated 6 years ago
• agocorona / TCache
  Transactional cache with configurable persistence
  ☆45Updated 2 years ago
• fpco / streaming-commons
  Common lower-level functions needed by various streaming data libraries
  ☆36Updated 2 months ago
• ekmett / tagged
  phantom types
  ☆38Updated 2 weeks ago