vincom2/racer
Rust Code Completion utility
Public GitHub Catalog
Discovered Oct 3, 2026
vincom2 / proof-tree-builder
the greatest proof tree creation interface in the world (vacuously true, maybe?)
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.
#28470853GitHub System ID
vincom2Organization / User
PublicVisibility
ActiveCatalog Status
More from vincom2
vincom2/tabmerge-mirror
Mirror of Tabmerge.vim for vundle convenience
vincom2/fish-shell
The user-friendly command line shell.
vincom2/opam
OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.