guicho271828/trivialib.type-unify
Unification library aimed specifically for the "polymorphic type specifiers" with type variables
Public GitHub Catalog
Discovered Oct 6, 2026
guicho271828 / type-r
The complete collection of accessor functions and patterns to access the elements in a compound type specifier
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.
#31775276GitHub System ID
guicho271828Organization / User
PublicVisibility
ActiveCatalog Status
More from guicho271828
guicho271828/trivialib.red-black-tree
based on optima-red-black-tree
guicho271828/structure-interface
Non-CLOS, compile-time, inlined, fast method dispatching system
guicho271828/sas-parser
Fast Downward SAS parser