handsomecheung/lambda-interp
Simple Lambda Calculus Interpreter implemented by Java
Public GitHub Catalog
Discovered Oct 7, 2026
handsomecheung / miniKanren.lua
Another implemention fo miniKanren in Lua
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.
#34647831GitHub System ID
handsomecheungOrganization / User
PublicVisibility
ActiveCatalog Status
More from handsomecheung
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!
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.