handsomecheung/lambda-interp
Simple Lambda Calculus Interpreter implemented by Java
Public GitHub Catalog
Discovered Oct 7, 2026
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!
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.
#35541689GitHub 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.