rafoo/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
Public GitHub Catalog
Discovered Sep 25, 2026
rafoo / my-emacs-config
elisp configuration files
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.
#5137832GitHub System ID
rafooOrganization / User
PublicVisibility
ActiveCatalog Status
More from rafoo
rafoo/coq_obj
sigma calculus in Coq
rafoo/flycheck-dedukti
Flycheck integration for the dedukti language
rafoo/dedukti-inductive
Library for reflecting inductive types in Dedukti