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