jasonhemann/constraint-micro-lambda-jam
Constraint microKanren presentation at Lambda Jam
Public GitHub Catalog
Discovered Oct 6, 2026
jasonhemann / emacs
My emacs configuration
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.
#32740786GitHub System ID
jasonhemannOrganization / User
PublicVisibility
ActiveCatalog Status
More from jasonhemann
jasonhemann/constraint-microKanren
A microKanren framework for implementing constraints.
jasonhemann/microKanren-shen
An implementation of microKanren in Shen
jasonhemann/dependently-typed-lang
A small, dependently-typed language