audreyt/FStarIDE
FStar IDE
Public GitHub Catalog
Discovered Oct 6, 2026
audreyt / agda-libjs
Core bindings to run Agda code using NodeJS
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.
#33996917GitHub System ID
audreytOrganization / User
PublicVisibility
ActiveCatalog Status
More from audreyt
audreyt/atom-language-agda
Agda language support for the Atom editor
audreyt/test-signature
Automated SIGNATURE testing
audreyt/react-odp-json
Convert ODP to JSON for react-odp