Alternatives and similar repositories for halfs:

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

• GaloisInc / HaNS
  The haskell network stack
  ☆115Updated 7 years ago
• agocorona / Workflow
  re-startable monad that recover the execution state from a log, and workflow patterns
  ☆43Updated 8 years ago
• sdiehl / llvm-tutorial-standalone
  DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )
  ☆37Updated 7 years ago
• adinapoli / threads-supervisor
  Simple, IO-based Haskell library for Erlang-inspired thread supervisors
  ☆29Updated 2 years ago
• SimonJF / IdrisNet2
  A proper network library for Idris, now that I know what I'm doing.
  ☆58Updated 8 years ago
• hailstorm-hs / hailstorm
  Haskell distributed stream processing with exactly-once semantics
  ☆90Updated 10 years ago
• agocorona / TCache
  Transactional cache with configurable persistence
  ☆46Updated last year
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 6 years ago
• ozataman / csv-conduit
  Flexible, fast and constant-space CSV library for Haskell using conduits
  ☆52Updated 2 months ago
• puffnfresh / bam-idris-blog
  Static blog generator in Idris.
  ☆39Updated 10 years ago
• bos / pcap
  Haskell bindings for the pcap library, which provides a low level interface to packet capture systems.
  ☆27Updated 4 years ago
• GaloisInc / halvm-web
  ☆15Updated 7 years ago
• idris-hackers / idris-lens
  ☆22Updated 8 years ago
• haskell-distributed / distributed-static
  Support for static values
  ☆22Updated 6 months ago
• acid-state / safecopy
  An extension to Data.Serialize with built-in version control
  ☆59Updated 2 weeks ago
• chadaustin / buffer-builder
  Haskell library for efficiently building up buffers
  ☆26Updated 2 months ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 6 years ago
• PatrickMaier / HdpH
  Haskell distributed parallel Haskell
  ☆37Updated 7 years ago
• japesinator / Idris-Bifunctors
  A small bifunctor library for idris
  ☆21Updated 4 years ago
• hunt-framework / hayoo
  Hackage search engine
  ☆56Updated 7 years ago
• hargettp / courier
  A message-passing library, intended for simplifying network applications
  ☆43Updated 6 years ago
• cies / htoml
  TOML file format parser in Haskell
  ☆38Updated 3 years ago
• thoughtpolice / vacuum
  DEPRECATED: Use ghc-heap, ghc-heap-view in GHC 8.x instead.
  ☆18Updated 8 years ago
• syallop / Join-Language
  Haskell Join-calculus DSL
  ☆22Updated 6 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated 2 weeks ago
• tweag / distributed-closure
  Serializable closures for distributed programming.
  ☆64Updated last year
• goldfirere / effects
  A Haskell translation of Idris's original algebraic effects library
  ☆41Updated 8 years ago
• mietek / idris-bash
  GNU bash backend for Idris
  ☆53Updated 6 years ago
• cdparks / mini-core
  An implementation of the Core language
  ☆30Updated 9 years ago
• corsis / clock
  High-resolution clock functions: monotonic, realtime, cputime.
  ☆59Updated last year