Alternatives and similar repositories for vih

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

• jkarni / ZipperFS
  Oleg Kiselyov's zipper-based file-server/OS
  ☆25Updated 5 years ago
• kolmodin / herl
  Erlang BEAM emulator in Haskell
  ☆48Updated 11 years ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆35Updated 8 months ago
• GaloisInc / argo
  A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW
  ☆16Updated last month
• informatikr / aeson-pretty
  JSON pretty-printing library and command-line tool.
  ☆64Updated last year
• erebe / systemd
  Haskell bindings for systemd
  ☆19Updated last year
• Shimuuar / fixed-vector
  Fixed length vector for haskell
  ☆21Updated this week
• markhibberd / xsh
  Shell.
  ☆14Updated 8 years ago
• haskell-implementations / hugs
  Haskell User's Gofer System
  ☆25Updated 9 years ago
• SamuelSchlesinger / hs-ts
  A simple example of integrating TypeScript and Haskell.
  ☆13Updated 3 years ago
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 5 years ago
• fpco / streaming-commons
  Common lower-level functions needed by various streaming data libraries
  ☆36Updated 5 months ago
• leon-vv / Todo
  Idris Todo web application example
  ☆42Updated 2 years ago
• vmchale / ats-vim
  Vim plugin for ATS
  ☆16Updated 4 years ago
• ptigwe / hs-flatris
  An implementation of Flatris using Haskell and Miso
  ☆32Updated 5 years ago
• jimcrayne / jhc
  Jhc: Haskell Compiler
  ☆38Updated 9 years ago
• puffnfresh / tryidris
  Try Idris
  ☆35Updated 9 years ago
• gallettilance / magnificATS
  Collection of ATS goodness
  ☆35Updated 5 years ago
• schani / unlambdascheme
  A Scheme to Unlambda compiler
  ☆18Updated 8 years ago
• serokell / foundry
  Morte IDE
  ☆29Updated 3 months ago
• mattpolzin / pg-idris
  Beginnings of a Postgres client for Idris 2
  ☆18Updated last week
• webyrd / hindley-milner-type-inferencer
  Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.
  ☆21Updated 10 years ago
• exercism / coq
  Exercism exercises in Coq.
  ☆19Updated 8 months ago
• ncihnegn / miranda
  Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…
  ☆58Updated last month
• GaloisInc / json
  Haskell JSON library
  ☆27Updated 8 months ago
• sternenseemann / spacecookie
  gopher library & server written in Haskell
  ☆46Updated last month
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆28Updated 2 years ago
• stefan-hoeck / idris2-prim
  Axioms and Propositions for Primitives in Idris2
  ☆11Updated last year
• conal / 2017-talk-teaching-new-tricks-to-old-programs
  Keynote talk for Lambda Jam 2017 in Sydney
  ☆20Updated 6 years ago
• mboes / hmk
  A pure Haskell implementation of Plan9's mk
  ☆16Updated 9 years ago