Alternatives and similar repositories for agda-vim:

Users that are interested in agda-vim are comparing it to the libraries listed below

• goldfirere / singletons
  Fake dependent types in Haskell using singletons
  ☆288Updated this week
• gallais / agdarsec
  Total Parser Combinators in Agda
  ☆125Updated last year
• goldfirere / glambda
  The home of the Glamorous Glambda interpreter
  ☆220Updated last month
• UlfNorell / agda-prelude
  Programming library for Agda
  ☆125Updated 4 months ago
• ucsd-progsys / liquid-fixpoint
  Horn Clause Constraint Solving for Liquid Types
  ☆141Updated this week
• jwiegley / coq-haskell
  A library for formalizing Haskell types and functions in Coq
  ☆168Updated last year
• sol / markdown-unlit
  Literate Haskell support for Markdown
  ☆139Updated 3 weeks ago
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆180Updated this week
• AndrasKovacs / flatparse
  Fast parsing from bytestrings
  ☆154Updated 2 weeks ago
• sdiehl / repline
  Haskeline wrapper for GHCi-like REPL interfaces
  ☆107Updated last year
• well-typed / visualize-cbn
  ☆99Updated last week
• stevenfontanella / microlens
  A lightweight (but compatible with ‘lens’) lenses library
  ☆290Updated last month
• InitialTypes / Club
  Organization and planning for the Initial Types Club
  ☆72Updated 2 years ago
• nomeata / inspection-testing
  Inspection Testing for Haskell
  ☆174Updated 2 weeks ago
• antalsz / hs-to-coq
  Convert Haskell source code to Coq source code
  ☆279Updated 4 years ago
• ekmett / coda
  A language experiment -- irc.freenode.net ##coda
  ☆162Updated 9 months ago
• Daniel-Diaz / HaTeX
  The Haskell LaTeX library.
  ☆199Updated last year
• haskell / happy
  The Happy parser generator for Haskell
  ☆296Updated this week
• agda / cornelis
  agda-mode for neovim
  ☆137Updated this week
• plaidfinch / ComonadSheet
  A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…
  ☆155Updated 3 years ago
• quchen / prettyprinter
  A modern, extensible and well-documented prettyprinter.
  ☆298Updated 2 months ago
• compiling-to-categories / concat
  Compiling to Categories
  ☆441Updated 10 months ago
• yav / graphmod
  A utility for displaying the module dependencies of Haskell programs.
  ☆183Updated 6 months ago
• Gabriella439 / foldl
  Composable, streaming, and efficient left folds
  ☆163Updated this week
• tweag / linear-base
  Standard library for linear types in Haskell.
  ☆338Updated 2 months ago
• gallais / idris-tparsec
  TParsec - Total Parser Combinators in Idris
  ☆92Updated last year
• kosmikus / lhs2tex
  Preprocessor for typesetting Haskell sources with LaTeX
  ☆101Updated last year
• wenkokke / schmitty
  Agda bindings to SMT-LIB2 compatible solvers.
  ☆95Updated 3 months ago
• jozefg / nbe-for-mltt
  Normalization by Evaluation for Martin-Löf Type Theory
  ☆122Updated 7 months ago
• ocharles / weeder
  A re-implementation of weeder using HIE files
  ☆170Updated 2 months ago