Alternatives and similar repositories for coq.vim

Users that are interested in coq.vim are comparing it to the libraries listed below

• newlandsvalley / chord-editor
  UI for generating simple chord diagrams for guitar, bass and piano
  ☆11Updated last month
• adamrk / scheme2luac
  A Scheme compiler to Lua bytecode
  ☆22Updated 8 years ago
• vmchale / ats-vim
  Vim plugin for ATS
  ☆16Updated 4 years ago
• schani / unlambdascheme
  A Scheme to Unlambda compiler
  ☆18Updated 8 years ago
• plan9-for-vimspace / plan9-for-vimspace
  plan9 utilities for vim
  ☆51Updated 5 years ago
• panicz / sracket
  SLAYER ported to Racket
  ☆21Updated 6 years ago
• dharmatech / psilab
  Libraries for Ypsilon Scheme
  ☆27Updated 15 years ago
• swaywm / chicken-wlroots
  CHICKEN Scheme bindings for wlroots
  ☆19Updated 4 years ago
• hopkinsr / terminal-color
  A Racket library to output colored text to the terminal on any platform, including Windows
  ☆18Updated 8 years ago
• 7c6f434c / lang-os
  A minimal system managed by policy daemons with configuration being arbitrary code
  ☆33Updated last month
• tudurom / usam
  blending sam with the shell experiment
  ☆23Updated 6 years ago
• jeapostrophe / raart
  raart - racket ansi art
  ☆14Updated 3 years ago
• hellerve / carp-vim
  A Vim plugin for Carp
  ☆17Updated 3 years ago
• michaelfeathers / vih
  a simple vi clone written in Haskell
  ☆28Updated 15 years ago
• jkarni / ZipperFS
  Oleg Kiselyov's zipper-based file-server/OS
  ☆25Updated 5 years ago
• feeley / pyffi
  Gambit Scheme library to interface to Python
  ☆9Updated last year
• jsoo1 / guix-channel
  My corner of guix packages. They are either works in progress or have licenses that do not necessarily belong in a libre distribution.
  ☆12Updated 5 months ago
• wpcarro / ivy-clipmenu.el
  Ivy integration with cdown/clipmenu
  ☆12Updated 3 years ago
• racket / slideshow
  ☆37Updated 2 months ago
• retroj / mowedline
  an X status bar program
  ☆8Updated 7 years ago
• jocap / vis-filetype-settings
  A plugin for the vis editor that lets the user set options depending on filetype.
  ☆10Updated last year
• schemedoc / manpages
  Unix manual pages for R6RS and R7RS
  ☆18Updated last year
• david-christiansen / dr-racket-like-unicode
  A clone of DrRacket-style Unicode symbol input for Emacs
  ☆16Updated 2 years ago
• stchang / mlish
  ☆22Updated 5 years ago
• samth / git-slice
  Slicing git repositories.
  ☆22Updated 7 years ago
• racket / frtime
  ☆19Updated 2 months ago
• Bogdanp / rackcheck
  A property-based testing library for Racket.
  ☆32Updated last year
• lexi-lambda / racket-tulip
  ☆15Updated 8 years ago
• flycheck / flycheck-ocaml
  OCaml support for Flycheck using Merlin
  ☆22Updated last year
• standardml / parcom
  SML Parser Combinator Library
  ☆28Updated 9 years ago