wires/purescript
A small strongly, statically typed language which compiles to Javascript
Public GitHub Catalog
Discovered Sep 24, 2026
wires / Foundations
Development of the univalent foundations of mathematics 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.
#2322825GitHub System ID
wiresOrganization / User
PublicVisibility
ActiveCatalog Status
More from wires
wires/statebox-js
nodejs statebox
wires/gulp-static-site-example
Example setup for gulp-static-site
wires/gulp-static-site
Gulp plugin to render static site