hallettj/idris-vim
Idris mode for vim
Public GitHub Catalog
Discovered Oct 6, 2026
hallettj / virtdom
Live-coding exercise to look at what goes on behind the scenes in a virtual DOM
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.
#31353035GitHub System ID
hallettjOrganization / User
PublicVisibility
ActiveCatalog Status
More from hallettj
hallettj/locutoria
experimental email client - work in progress
hallettj/activitystreams-aeson
Basic library for working with Activity Streams
hallettj/tmux-config
Configuration and tools for tmux. Can be used as a Vim plugin.