s9gf4ult/dependent-map
Dependently-typed finite maps (partial dependent products)
Public GitHub Catalog
Discovered Sep 26, 2026
s9gf4ult / YaMap
Simple Mediawiki plugin to show Yandex Map with baloon (show location on map)
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.
#5948686GitHub System ID
s9gf4ultOrganization / User
PublicVisibility
ActiveCatalog Status
More from s9gf4ult
s9gf4ult/yasnippet-snippets
a collection of yasnippet snippets for many languages
s9gf4ult/yasnippet
A template system for Emacs
s9gf4ult/TomatoTimer
Tomato Timer