kyagrd/HMtyInferUsingProlog
specifying type inference for functional language usning Prolog
Public GitHub Catalog
Discovered Oct 6, 2026
kyagrd / kchess
Korean chess board
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.
#33771918GitHub System ID
kyagrdOrganization / User
PublicVisibility
ActiveCatalog Status
More from kyagrd
kyagrd/PostTYPES14
in consideration to submit to post TYPES 2015
kyagrd/trellys
Automatically exported from code.google.com/p/trellys
kyagrd/naxPapers
Automatically exported from code.google.com/p/nax