audreyt/atom-language-agda
Agda language support for the Atom editor
Public GitHub Catalog
Discovered Sep 24, 2026
audreyt / Win32-Symlink
Release history of Win32-Symlink
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.
#2635109GitHub System ID
audreytOrganization / User
PublicVisibility
ActiveCatalog Status
More from audreyt
audreyt/agda-libjs
Core bindings to run Agda code using NodeJS
audreyt/test-signature
Automated SIGNATURE testing
audreyt/react-odp-json
Convert ODP to JSON for react-odp