jmars/Records
Dependently Typed Extensible Records with Prototypal Inheritance
Public GitHub Catalog
Discovered Sep 26, 2026
jmars / brandsmash
Socially test brands, track and rank the results.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#5821240GitHub System ID
jmarsOrganization / User
PublicVisibility
ActiveCatalog Status
More from jmars
jmars/Idris-dev
A Dependently Typed Functional Programming Language
jmars/idris-llvm
Idris LLVM codegen factored out
jmars/Ejecta
A Fast, Open Source JavaScript, Canvas & Audio Implementation for iOS