Alternatives and similar repositories for vih:

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

• GaloisInc / argo
  A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW
  ☆15Updated 3 weeks ago
• kolmodin / herl
  Erlang BEAM emulator in Haskell
  ☆48Updated 10 years ago
• lortabac / ariel
  A simple, purely-functional programming language
  ☆24Updated 2 years ago
• Shimuuar / fixed-vector
  Fixed length vector for haskell
  ☆21Updated 2 months ago
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 5 years ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆35Updated 5 months ago
• vmchale / cpkg
  A build tool/package manager for C, configured with Dhall
  ☆68Updated last year
• GaloisInc / json
  Haskell JSON library
  ☆27Updated 4 months ago
• dreixel / generic-deriving
  ☆44Updated 3 weeks ago
• GaloisInc / pure-zlib
  A Haskell-only implementation of zlib / DEFLATE.
  ☆31Updated 3 years ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated 6 months ago
• typesanitizer / ozil
  Browsing man pages and help pages with zero friction.
  ☆35Updated 6 years ago
• grebenyukaa / cmm-compiler-backend
  Used libraries: llvm-general, llvm-general-pure - 3.4.2-1; llvm version: 3.4.2-1; Based on http://www.stephendiehl.com/llvm/ solution.
  ☆7Updated 9 years ago
• erebe / systemd
  Haskell bindings for systemd
  ☆18Updated 8 months ago
• SamuelSchlesinger / hs-ts
  A simple example of integrating TypeScript and Haskell.
  ☆13Updated 3 years ago
• andyarvanitis / idris-golang
  ☆16Updated 10 years ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆101Updated 2 years ago
• Deewiant / glob
  Haskell library for glob matching
  ☆25Updated 3 years ago
• jimcrayne / jhc
  Jhc: Haskell Compiler
  ☆36Updated 9 years ago
• stepcut / idrOS
  An OS written in Idris (eventually...)
  ☆19Updated 10 years ago
• glguy / toml-parser
  Haskell parser and printer for the TOML 1.0.0 file format
  ☆26Updated 3 months ago
• haskell / zlib
  Compression and decompression in the gzip and zlib formats
  ☆35Updated 4 months ago
• vmchale / atspkg
  Build tool for ATS.
  ☆41Updated 2 years ago
• GaloisInc / tower
  A concurrency framework for the Ivory language
  ☆43Updated 5 years ago
• batterseapower / ansi-wl-pprint
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆30Updated 5 years ago
• vincenthz / hit
  library to manipulate git repositories in haskell (no bindings)
  ☆49Updated 6 years ago
• jkarni / ZipperFS
  Oleg Kiselyov's zipper-based file-server/OS
  ☆24Updated 4 years ago
• haskell / tar
  Reading, writing and manipulating ".tar" archive files.
  ☆40Updated 3 weeks ago
• ptigwe / hs-flatris
  An implementation of Flatris using Haskell and Miso
  ☆32Updated 5 years ago
• mietek / idris-bash
  GNU bash backend for Idris
  ☆53Updated 6 years ago