vincom2/proof-tree-builder
the greatest proof tree creation interface in the world (vacuously true, maybe?)
Public GitHub Catalog
Discovered Oct 2, 2026
vincom2 / fish-shell
The user-friendly command line shell.
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.
#23053197GitHub System ID
vincom2Organization / User
PublicVisibility
ActiveCatalog Status
More from vincom2
vincom2/racer
Rust Code Completion utility
vincom2/tabmerge-mirror
Mirror of Tabmerge.vim for vundle convenience
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.