google/Idris-dev
A Dependently Typed Functional Programming Language
Public GitHub Catalog
Discovered Oct 2, 2026
google / macops
Utilities, tools, and scripts for managing and tracking a fleet of Macintoshes in a corporate environment
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.
#23080035GitHub System ID
googleOrganization / User
PublicVisibility
ActiveCatalog Status
More from google
google/novm
Experimental KVM-based VMM for containers, written in Go.
google/re2
RE2 is a fast, safe, thread-friendly alternative to backtracking regular expression engines like those used in PCRE, Perl, and Python. It is a C++ library.
google/vim-ft-go
Public repository.