ellbur/Vundle.vim
Vundle, the plug-in manager for Vim
Public GitHub Catalog
Discovered Sep 30, 2026
ellbur / agda-vim
Agda interaction in vim
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#16860001GitHub System ID
ellburOrganization / User
PublicVisibility
ActiveCatalog Status
More from ellbur
ellbur/aeson-pretty
JSON pretty-printing library and command-line tool.
ellbur/agda-server
A TCP server wrapper for the Agda interpreter
ellbur/nrjavaserial
This is a fork of the RXTX project that uses in jar loading of the native code.