joshvera/objective-git
Objective-C bindings to libgit2
Public GitHub Catalog
Discovered Sep 28, 2026
joshvera / FormatterKit
`stringWithFormat:` for the sophisticated hacker set
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.
#12572304GitHub 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.