joshvera/objective-git
Objective-C bindings to libgit2
Public GitHub Catalog
Discovered Sep 24, 2026
joshvera / dotfiles
Public repository discovered through GitHub real-time crawl.
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.
#2323210GitHub System ID
joshveraOrganization / User
PublicVisibility
ActiveCatalog Status
More from joshvera
joshvera/Idris-dev
A Dependently Typed Functional Programming Language
joshvera/software-foundations-in-idris
A handful of exercises from Software Foundations translated to Idris
joshvera/idris-koans
Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing code and fixing them so that they type check.