handsomecheung/miniKanren_org-website
Files for the miniKanren.org website. If you would like to update the site, please do so and send a pull request!
Public GitHub Catalog
Discovered Oct 7, 2026
handsomecheung / lambda-interp
Simple Lambda Calculus Interpreter implemented by Java
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.
#36265758GitHub System ID
handsomecheungOrganization / User
PublicVisibility
ActiveCatalog Status
More from handsomecheung
handsomecheung/miniKanren.lua
Another implemention fo miniKanren in Lua
handsomecheung/Robject-Validator
Ruby Object validator
handsomecheung/sms2droid
sms2droid converts iPhone SMS to Android. it's a simple Ruby script to convert the iPhone sms database to Android.