handsomecheung/lambda-interp
Simple Lambda Calculus Interpreter implemented by Java
A community-driven framework for managing your zsh configuration. Includes 40+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, macports, etc), over 80 terminal themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Simple Lambda Calculus Interpreter implemented by Java
Files for the miniKanren.org website. If you would like to update the site, please do so and send a pull request!
Another implemention fo miniKanren in Lua
Ruby Object validator