René's URL Explorer Experiment

Title: GitHub - bntre/visual-lambda: Visual environment for manipulation the lambda calculus expressions

Open Graph Title: GitHub - bntre/visual-lambda: Visual environment for manipulation the lambda calculus expressions

X Title: GitHub - bntre/visual-lambda: Visual environment for manipulation the lambda calculus expressions

Description: Visual environment for manipulation the lambda calculus expressions - bntre/visual-lambda

Open Graph Description: Visual environment for manipulation the lambda calculus expressions - bntre/visual-lambda

X Description: Visual environment for manipulation the lambda calculus expressions - bntre/visual-lambda

Opengraph URL: https://github.com/bntre/visual-lambda

X: @github

direct link

Domain: github.com

route-pattern	/:user_id/:repository
route-controller	files
route-action	disambiguate
fetch-nonce	v2:6b02583f-11b1-2c8f-67bd-f982bba391aa
current-catalog-service-hash	f3abb0cc802f3d7b95fc8762b94bdcb13bf39634c40c357301c4aa1d67a256fb
request-id	E72E:BEF57:D9B592:11A533F:698FC9E8
html-safe-nonce	6ea211d408c06a72a7c788ebed61fab24655ae2b7df650b61a882b98b5f215f4
visitor-payload	eyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJFNzJFOkJFRjU3OkQ5QjU5MjoxMUE1MzNGOjY5OEZDOUU4IiwidmlzaXRvcl9pZCI6Ijg5NTAwMTI0MjgzOTA3NDY2MDAiLCJyZWdpb25fZWRnZSI6ImlhZCIsInJlZ2lvbl9yZW5kZXIiOiJpYWQifQ==
visitor-hmac	f18aa303af9df0b67390e84f5d72c23e5f3f13464861033c4444d8e83be232df
hovercard-subject-tag	repository:238381893
github-keyboard-shortcuts	repository,copilot
google-site-verification	Apib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-url	https://collector.github.com/github/collect
analytics-location	//
fb:app_id	1401488693436528
apple-itunes-app	app-id=1477376905, app-argument=https://github.com/bntre/visual-lambda
twitter:image	https://opengraph.githubassets.com/b6dd81d2bd53a6494d40d2da6d94dc0925d5cf4fb0214882850cdff5e13404e5/bntre/visual-lambda
twitter:card	summary_large_image
og:image	https://opengraph.githubassets.com/b6dd81d2bd53a6494d40d2da6d94dc0925d5cf4fb0214882850cdff5e13404e5/bntre/visual-lambda
og:image:alt	Visual environment for manipulation the lambda calculus expressions - bntre/visual-lambda
og:image:width	1200
og:image:height	600
og:site_name	GitHub
og:type	object
hostname	github.com
expected-hostname	github.com
None	42c603b9d642c4a9065a51770f75e5e27132fef0e858607f5c9cb7e422831a7b
turbo-cache-control	no-preview
go-import	github.com/bntre/visual-lambda git https://github.com/bntre/visual-lambda.git
octolytics-dimension-user_id	35361814
octolytics-dimension-user_login	bntre
octolytics-dimension-repository_id	238381893
octolytics-dimension-repository_nwo	bntre/visual-lambda
octolytics-dimension-repository_public	true
octolytics-dimension-repository_is_fork	false
octolytics-dimension-repository_network_root_id	238381893
octolytics-dimension-repository_network_root_nwo	bntre/visual-lambda
turbo-body-classes	logged-out env-production page-responsive
disable-turbo	false
browser-stats-url	https://api.github.com/_private/browser/stats
browser-errors-url	https://api.github.com/_private/browser/errors
release	00bbb8945a3943b287e04c68aff13cb5878ddde7
ui-target	full
theme-color	#1e2327
color-scheme	light dark

Links:

Skip to content	https://github.com/bntre/visual-lambda#start-of-content
	https://github.com/
Sign in	https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fbntre%2Fvisual-lambda
GitHub CopilotWrite better code with AI	https://github.com/features/copilot
GitHub SparkBuild and deploy intelligent apps	https://github.com/features/spark
GitHub ModelsManage and compare prompts	https://github.com/features/models
MCP RegistryNewIntegrate external tools	https://github.com/mcp
ActionsAutomate any workflow	https://github.com/features/actions
CodespacesInstant dev environments	https://github.com/features/codespaces
IssuesPlan and track work	https://github.com/features/issues
Code ReviewManage code changes	https://github.com/features/code-review
GitHub Advanced SecurityFind and fix vulnerabilities	https://github.com/security/advanced-security
Code securitySecure your code as you build	https://github.com/security/advanced-security/code-security
Secret protectionStop leaks before they start	https://github.com/security/advanced-security/secret-protection
Why GitHub	https://github.com/why-github
Documentation	https://docs.github.com
Blog	https://github.blog
Changelog	https://github.blog/changelog
Marketplace	https://github.com/marketplace
View all features	https://github.com/features
Enterprises	https://github.com/enterprise
Small and medium teams	https://github.com/team
Startups	https://github.com/enterprise/startups
Nonprofits	https://github.com/solutions/industry/nonprofits
App Modernization	https://github.com/solutions/use-case/app-modernization
DevSecOps	https://github.com/solutions/use-case/devsecops
DevOps	https://github.com/solutions/use-case/devops
CI/CD	https://github.com/solutions/use-case/ci-cd
View all use cases	https://github.com/solutions/use-case
Healthcare	https://github.com/solutions/industry/healthcare
Financial services	https://github.com/solutions/industry/financial-services
Manufacturing	https://github.com/solutions/industry/manufacturing
Government	https://github.com/solutions/industry/government
View all industries	https://github.com/solutions/industry
View all solutions	https://github.com/solutions
AI	https://github.com/resources/articles?topic=ai
Software Development	https://github.com/resources/articles?topic=software-development
DevOps	https://github.com/resources/articles?topic=devops
Security	https://github.com/resources/articles?topic=security
View all topics	https://github.com/resources/articles
Customer stories	https://github.com/customer-stories
Events & webinars	https://github.com/resources/events
Ebooks & reports	https://github.com/resources/whitepapers
Business insights	https://github.com/solutions/executive-insights
GitHub Skills	https://skills.github.com
Documentation	https://docs.github.com
Customer support	https://support.github.com
Community forum	https://github.com/orgs/community/discussions
Trust center	https://github.com/trust-center
Partners	https://github.com/partners
GitHub SponsorsFund open source developers	https://github.com/sponsors
Security Lab	https://securitylab.github.com
Maintainer Community	https://maintainers.github.com
Accelerator	https://github.com/accelerator
Archive Program	https://archiveprogram.github.com
Topics	https://github.com/topics
Trending	https://github.com/trending
Collections	https://github.com/collections
Enterprise platformAI-powered developer platform	https://github.com/enterprise
GitHub Advanced SecurityEnterprise-grade security features	https://github.com/security/advanced-security
Copilot for BusinessEnterprise-grade AI features	https://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 support	https://github.com/premium-support
Pricing	https://github.com/pricing
Search syntax tips	https://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
documentation	https://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
Sign in	https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fbntre%2Fvisual-lambda
Sign up	https://github.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2F%3Cuser-name%3E%2F%3Crepo-name%3E&source=header-repo&source_repo=bntre%2Fvisual-lambda
Reload	https://github.com/bntre/visual-lambda
Reload	https://github.com/bntre/visual-lambda
Reload	https://github.com/bntre/visual-lambda
bntre	https://github.com/bntre
visual-lambda	https://github.com/bntre/visual-lambda
Notifications	https://github.com/login?return_to=%2Fbntre%2Fvisual-lambda
Fork 1	https://github.com/login?return_to=%2Fbntre%2Fvisual-lambda
Star 30	https://github.com/login?return_to=%2Fbntre%2Fvisual-lambda
LGPL-3.0 license	https://github.com/bntre/visual-lambda/blob/master/LICENSE
30 stars	https://github.com/bntre/visual-lambda/stargazers
1 fork	https://github.com/bntre/visual-lambda/forks
Branches	https://github.com/bntre/visual-lambda/branches
Tags	https://github.com/bntre/visual-lambda/tags
Activity	https://github.com/bntre/visual-lambda/activity
Star	https://github.com/login?return_to=%2Fbntre%2Fvisual-lambda
Notifications	https://github.com/login?return_to=%2Fbntre%2Fvisual-lambda
Code	https://github.com/bntre/visual-lambda
Pull requests 0	https://github.com/bntre/visual-lambda/pulls
Actions	https://github.com/bntre/visual-lambda/actions
Security 0	https://github.com/bntre/visual-lambda/security
Insights	https://github.com/bntre/visual-lambda/pulse
Code	https://github.com/bntre/visual-lambda
Pull requests	https://github.com/bntre/visual-lambda/pulls
Actions	https://github.com/bntre/visual-lambda/actions
Security	https://github.com/bntre/visual-lambda/security
Insights	https://github.com/bntre/visual-lambda/pulse
Branches	https://github.com/bntre/visual-lambda/branches
Tags	https://github.com/bntre/visual-lambda/tags
	https://github.com/bntre/visual-lambda/branches
	https://github.com/bntre/visual-lambda/tags
27 Commits	https://github.com/bntre/visual-lambda/commits/master/
	https://github.com/bntre/visual-lambda/commits/master/
workspaces	https://github.com/bntre/visual-lambda/tree/master/workspaces
workspaces	https://github.com/bntre/visual-lambda/tree/master/workspaces
!run_pygbag.bat	https://github.com/bntre/visual-lambda/blob/master/!run_pygbag.bat
!run_pygbag.bat	https://github.com/bntre/visual-lambda/blob/master/!run_pygbag.bat
.gitignore	https://github.com/bntre/visual-lambda/blob/master/.gitignore
.gitignore	https://github.com/bntre/visual-lambda/blob/master/.gitignore
LICENSE	https://github.com/bntre/visual-lambda/blob/master/LICENSE
LICENSE	https://github.com/bntre/visual-lambda/blob/master/LICENSE
README.md	https://github.com/bntre/visual-lambda/blob/master/README.md
README.md	https://github.com/bntre/visual-lambda/blob/master/README.md
cache.py	https://github.com/bntre/visual-lambda/blob/master/cache.py
cache.py	https://github.com/bntre/visual-lambda/blob/master/cache.py
color.py	https://github.com/bntre/visual-lambda/blob/master/color.py
color.py	https://github.com/bntre/visual-lambda/blob/master/color.py
common.py	https://github.com/bntre/visual-lambda/blob/master/common.py
common.py	https://github.com/bntre/visual-lambda/blob/master/common.py
config.cfg	https://github.com/bntre/visual-lambda/blob/master/config.cfg
config.cfg	https://github.com/bntre/visual-lambda/blob/master/config.cfg
config.py	https://github.com/bntre/visual-lambda/blob/master/config.py
config.py	https://github.com/bntre/visual-lambda/blob/master/config.py
console.py	https://github.com/bntre/visual-lambda/blob/master/console.py
console.py	https://github.com/bntre/visual-lambda/blob/master/console.py
construct.py	https://github.com/bntre/visual-lambda/blob/master/construct.py
construct.py	https://github.com/bntre/visual-lambda/blob/master/construct.py
controls.txt	https://github.com/bntre/visual-lambda/blob/master/controls.txt
controls.txt	https://github.com/bntre/visual-lambda/blob/master/controls.txt
cursors.py	https://github.com/bntre/visual-lambda/blob/master/cursors.py
cursors.py	https://github.com/bntre/visual-lambda/blob/master/cursors.py
debug.py	https://github.com/bntre/visual-lambda/blob/master/debug.py
debug.py	https://github.com/bntre/visual-lambda/blob/master/debug.py
eating.py	https://github.com/bntre/visual-lambda/blob/master/eating.py
eating.py	https://github.com/bntre/visual-lambda/blob/master/eating.py
events.py	https://github.com/bntre/visual-lambda/blob/master/events.py
events.py	https://github.com/bntre/visual-lambda/blob/master/events.py
favicon.png	https://github.com/bntre/visual-lambda/blob/master/favicon.png
favicon.png	https://github.com/bntre/visual-lambda/blob/master/favicon.png
fielditem.py	https://github.com/bntre/visual-lambda/blob/master/fielditem.py
fielditem.py	https://github.com/bntre/visual-lambda/blob/master/fielditem.py
figure.py	https://github.com/bntre/visual-lambda/blob/master/figure.py
figure.py	https://github.com/bntre/visual-lambda/blob/master/figure.py
history.py	https://github.com/bntre/visual-lambda/blob/master/history.py
history.py	https://github.com/bntre/visual-lambda/blob/master/history.py
kgrind.py	https://github.com/bntre/visual-lambda/blob/master/kgrind.py
kgrind.py	https://github.com/bntre/visual-lambda/blob/master/kgrind.py
lambdaparser.py	https://github.com/bntre/visual-lambda/blob/master/lambdaparser.py
lambdaparser.py	https://github.com/bntre/visual-lambda/blob/master/lambdaparser.py
let.py	https://github.com/bntre/visual-lambda/blob/master/let.py
let.py	https://github.com/bntre/visual-lambda/blob/master/let.py
library.py	https://github.com/bntre/visual-lambda/blob/master/library.py
library.py	https://github.com/bntre/visual-lambda/blob/master/library.py
library.txt	https://github.com/bntre/visual-lambda/blob/master/library.txt
library.txt	https://github.com/bntre/visual-lambda/blob/master/library.txt
localstorage.py	https://github.com/bntre/visual-lambda/blob/master/localstorage.py
localstorage.py	https://github.com/bntre/visual-lambda/blob/master/localstorage.py
main.py	https://github.com/bntre/visual-lambda/blob/master/main.py
main.py	https://github.com/bntre/visual-lambda/blob/master/main.py
matrix.py	https://github.com/bntre/visual-lambda/blob/master/matrix.py
matrix.py	https://github.com/bntre/visual-lambda/blob/master/matrix.py
node.py	https://github.com/bntre/visual-lambda/blob/master/node.py
node.py	https://github.com/bntre/visual-lambda/blob/master/node.py
noke.py	https://github.com/bntre/visual-lambda/blob/master/noke.py
noke.py	https://github.com/bntre/visual-lambda/blob/master/noke.py
pygbag_index_html.tmpl	https://github.com/bntre/visual-lambda/blob/master/pygbag_index_html.tmpl
pygbag_index_html.tmpl	https://github.com/bntre/visual-lambda/blob/master/pygbag_index_html.tmpl
refnames.py	https://github.com/bntre/visual-lambda/blob/master/refnames.py
refnames.py	https://github.com/bntre/visual-lambda/blob/master/refnames.py
ring.py	https://github.com/bntre/visual-lambda/blob/master/ring.py
ring.py	https://github.com/bntre/visual-lambda/blob/master/ring.py
saving.py	https://github.com/bntre/visual-lambda/blob/master/saving.py
saving.py	https://github.com/bntre/visual-lambda/blob/master/saving.py
screenshot.png	https://github.com/bntre/visual-lambda/blob/master/screenshot.png
screenshot.png	https://github.com/bntre/visual-lambda/blob/master/screenshot.png
setup.py	https://github.com/bntre/visual-lambda/blob/master/setup.py
setup.py	https://github.com/bntre/visual-lambda/blob/master/setup.py
toolbar.py	https://github.com/bntre/visual-lambda/blob/master/toolbar.py
toolbar.py	https://github.com/bntre/visual-lambda/blob/master/toolbar.py
toolbar_icons.png	https://github.com/bntre/visual-lambda/blob/master/toolbar_icons.png
toolbar_icons.png	https://github.com/bntre/visual-lambda/blob/master/toolbar_icons.png
vector.py	https://github.com/bntre/visual-lambda/blob/master/vector.py
vector.py	https://github.com/bntre/visual-lambda/blob/master/vector.py
window.py	https://github.com/bntre/visual-lambda/blob/master/window.py
window.py	https://github.com/bntre/visual-lambda/blob/master/window.py
README	https://github.com/bntre/visual-lambda
LGPL-3.0 license	https://github.com/bntre/visual-lambda
https://code.google.com/archive/p/visual-lambda/	https://code.google.com/archive/p/visual-lambda/
https://bitbucket.org/bntr/visual-lambda	https://bitbucket.org/bntr/visual-lambda
	https://github.com/bntre/visual-lambda#visual-lambda-calculus
	https://camo.githubusercontent.com/f08c96cd553ef779321c07e442e005f908ff10dfa57b89b1136cf111ff8aa349/68747470733a2f2f626e74722e706c616e65742e65652f6c616d6264612f6c6f6f705f2e676966
	https://raw.githubusercontent.com/bntre/visual-lambda/master/screenshot.png
https://bntr.itch.io/visual-lambda	https://bntr.itch.io/visual-lambda
	https://github.com/bntre/visual-lambda#notation
Basics	https://bntr.planet.ee/lambda/visual_lambda_bubble_notation.gif
visual_lambda.pdf	https://bntr.planet.ee/lambda/work/visual_lambda.pdf
	https://github.com/bntre/visual-lambda#examples
https://www.youtube.com/watch?v=YEyyyzUuUJQ	https://www.youtube.com/watch?v=YEyyyzUuUJQ
'MULT 3 2' evaluation	https://bntr.planet.ee/lambda/visual_lambda_MULT_3_2_=_6.gif
'((λgm.m(gg))(λgm.m(gg)))M' building and evaluation	https://bntr.planet.ee/lambda/lambda_F_anim.gif
'Y I' evaluation	https://bntr.planet.ee/lambda/Y_I.gif
	https://github.com/bntre/visual-lambda#dependencies
	https://github.com/bntre/visual-lambda#running
	https://github.com/bntre/visual-lambda#controls
controls.txt	https://github.com/bntre/visual-lambda/blob/master/controls.txt
	https://github.com/bntre/visual-lambda#predefined-expression-library
library.txt	https://github.com/bntre/visual-lambda/blob/master/library.txt
	https://github.com/bntre/visual-lambda#related-works
Programming with Visual Expressions, Wayne Citrin	https://web.archive.org/web/20110524135539/users.encs.concordia.ca/~haarslev/vl95www/html-papers/citrin/citrin.html
A Graphical Notation for the Lambda Calculus, Dave Keenan	https://dkeenan.com/Lambda/
Alligator Eggs, Bret Victor	http://worrydream.com/AlligatorEggs/
browser game	https://tibordp.github.io/gator-calculus/
Prathyvsh's catalog	https://github.com/prathyvsh/lambda-calculus-visualizations
Readme	https://github.com/bntre/visual-lambda#readme-ov-file
LGPL-3.0 license	https://github.com/bntre/visual-lambda#LGPL-3.0-1-ov-file
Please reload this page	https://github.com/bntre/visual-lambda
Activity	https://github.com/bntre/visual-lambda/activity
30 stars	https://github.com/bntre/visual-lambda/stargazers
2 watching	https://github.com/bntre/visual-lambda/watchers
1 fork	https://github.com/bntre/visual-lambda/forks
Report repository	https://github.com/contact/report-content?content_url=https%3A%2F%2Fgithub.com%2Fbntre%2Fvisual-lambda&report=bntre+%28user%29
Releases	https://github.com/bntre/visual-lambda/releases
Packages 0	https://github.com/users/bntre/packages?repo_name=visual-lambda
Please reload this page	https://github.com/bntre/visual-lambda
Contributors 2	https://github.com/bntre/visual-lambda/graphs/contributors
Please reload this page	https://github.com/bntre/visual-lambda
Python 99.7%	https://github.com/bntre/visual-lambda/search?l=python
Batchfile 0.3%	https://github.com/bntre/visual-lambda/search?l=batchfile
	https://github.com
Terms	https://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacy	https://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Security	https://github.com/security
Status	https://www.githubstatus.com/
Community	https://github.community/
Docs	https://docs.github.com/
Contact	https://support.github.com?tags=dotcom-footer

Viewport: width=device-width

URLs of crawlers that visited me.