Alternatives and similar repositories for agda-vim:

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

• goldfirere / glambda
  The home of the Glamorous Glambda interpreter
  ☆221Updated 2 months ago
• gallais / agdarsec
  Total Parser Combinators in Agda
  ☆126Updated last year
• goldfirere / singletons
  Fake dependent types in Haskell using singletons
  ☆289Updated last month
• jwiegley / coq-haskell
  A library for formalizing Haskell types and functions in Coq
  ☆168Updated last year
• mgrabmueller / AlgorithmW
  Example implementation of Algorithm W for Hindley-Milner type inference
  ☆79Updated 3 years ago
• UlfNorell / agda-prelude
  Programming library for Agda
  ☆126Updated 5 months ago
• ucsd-progsys / liquid-fixpoint
  Horn Clause Constraint Solving for Liquid Types
  ☆144Updated 2 weeks ago
• 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
• bmillwood / pointfree
  Maintenance of the pointfree Hackage package.
  ☆144Updated 4 months ago
• AndrasKovacs / flatparse
  Fast parsing from bytestrings
  ☆156Updated last month
• grin-compiler / ghc-grin
  GRIN backend for GHC
  ☆144Updated 3 years ago
• InitialTypes / Club
  Organization and planning for the Initial Types Club
  ☆72Updated 2 years ago
• edwinb / idris2-vim
  Vim mode for Idris 2
  ☆77Updated 2 years ago
• HoTT-Intro / Agda
  Agda formalisation of the Introduction to Homotopy Type Theory
  ☆124Updated 3 years ago
• agda / cornelis
  agda-mode for neovim
  ☆142Updated this week
• edwinb / SPLV20
  SPLV20 course notes
  ☆108Updated 2 years ago
• david-christiansen / pie-hs
  An implementation of Pie in Haskell
  ☆204Updated 5 years ago
• sol / markdown-unlit
  Literate Haskell support for Markdown
  ☆140Updated this week
• martinescardo / HoTT-UF-Agda-Lecture-Notes
  Lecture notes on univalent foundations of mathematics with Agda
  ☆224Updated 10 months ago
• ekmett / coda
  A language experiment -- irc.freenode.net ##coda
  ☆162Updated 10 months ago
• agda / agda-language-server
  Language Server for Agda
  ☆106Updated 2 months ago
• haskell / haskeline
  A Haskell library for line input in command-line programs.
  ☆232Updated last week
• antalsz / hs-to-coq
  Convert Haskell source code to Coq source code
  ☆280Updated 4 years ago
• well-typed / visualize-cbn
  ☆99Updated last month
• snowleopard / alga-paper
  A minimalistic, elegant and powerful approach to working with graphs in a functional programming language
  ☆195Updated 3 years ago
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆181Updated this week
• snowleopard / hadrian
  Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree!
  ☆207Updated 6 years ago
• gallais / idris-tparsec
  TParsec - Total Parser Combinators in Idris
  ☆93Updated last year
• quchen / prettyprinter
  A modern, extensible and well-documented prettyprinter.
  ☆297Updated 3 months ago
• Bodigrim / logict
  A continuation-based backtracking logic programming monad
  ☆86Updated 3 months ago