githwxi/ATS-Postiats-contrib
ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
Public GitHub Catalog
Discovered Sep 26, 2026
githwxi / Idris-dev
A Dependently Typed Functional Programming Language
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.
#7463420GitHub System ID
githwxiOrganization / User
PublicVisibility
ActiveCatalog Status
More from githwxi
githwxi/translate
ATS言語に関する文書の日本語訳置き場
githwxi/FALCON
Flux Assignment (with) LAD Convex Objectives (and) Normalization.
githwxi/ats-mode-sublimetext
An ATS mode for Sublime Text 2/3 and TextMate