pirbo/arduino
firmata firmware for arduino
Public GitHub Catalog
Discovered Sep 29, 2026
pirbo / opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
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.
#15283150GitHub 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.