acowley/Frames
Data frames for tabular data.
Public GitHub Catalog
Discovered Sep 26, 2026
acowley / LinearLogic
A simple development of linear logic in Coq.
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.
#5624236GitHub System ID
acowleyOrganization / User
PublicVisibility
ActiveCatalog Status
More from acowley
acowley/NotesExporter
Export OS X and iOS Notes.app notes to plain text files.
acowley/haxr
Public repository.
acowley/formatting
Format strings type-safely with combinators