derekelkins/envtrack
A simple utility that listens to a Consul key-value store and commits changes into Git.
Public GitHub Catalog
Discovered Sep 27, 2026
derekelkins / 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.
#11072086GitHub System ID
derekelkinsOrganization / User
PublicVisibility
ActiveCatalog Status
More from derekelkins
derekelkins/registrator
Service registry bridge for Docker
derekelkins/wai
Haskell Web Application Interface
derekelkins/kafkacat
Generic command line non-JVM Apache Kafka producer and consumer