webyrd/hindley-milner-type-inferencer
Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.
Public GitHub Catalog
Discovered Oct 6, 2026
webyrd / relational-sorting
Relational sorting in miniKanren. Collaborative coding experiment from miniKanren Uncourse #13.
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.
#31198446GitHub System ID
webyrdOrganization / User
PublicVisibility
ActiveCatalog Status
More from webyrd
webyrd/boston-clojure-group-talk
Code from my (virtual) talk for the Boston Clojure Group, 12 Feb 02015
webyrd/multi-quine
Generation of simple multi-language quines using relational interpreters for two Scheme-like languages.
webyrd/error-handling-relational-interpreter
Relational interpreter that explicitly represents errors, and can generate programs with specific errors