pirbo/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
Public GitHub Catalog
Discovered Sep 26, 2026
pirbo / arduino
firmata firmware for arduino
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#5678295GitHub System ID
pirboOrganization / User
PublicVisibility
ActiveCatalog Status
More from pirbo
pirbo/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.