webyrd/relational-sorting
Relational sorting in miniKanren. Collaborative coding experiment from miniKanren Uncourse #13.
Public GitHub Catalog
Discovered Oct 5, 2026
webyrd / boston-clojure-group-talk
Code from my (virtual) talk for the Boston Clojure Group, 12 Feb 02015
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.
#30743522GitHub System ID
webyrdOrganization / User
PublicVisibility
ActiveCatalog Status
More from webyrd
webyrd/hindley-milner-type-inferencer
Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.
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