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-controllerfiles
route-actiondisambiguate
fetch-noncev2:6b02583f-11b1-2c8f-67bd-f982bba391aa
current-catalog-service-hashf3abb0cc802f3d7b95fc8762b94bdcb13bf39634c40c357301c4aa1d67a256fb
request-idE72E:BEF57:D9B592:11A533F:698FC9E8
html-safe-nonce6ea211d408c06a72a7c788ebed61fab24655ae2b7df650b61a882b98b5f215f4
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJFNzJFOkJFRjU3OkQ5QjU5MjoxMUE1MzNGOjY5OEZDOUU4IiwidmlzaXRvcl9pZCI6Ijg5NTAwMTI0MjgzOTA3NDY2MDAiLCJyZWdpb25fZWRnZSI6ImlhZCIsInJlZ2lvbl9yZW5kZXIiOiJpYWQifQ==
visitor-hmacf18aa303af9df0b67390e84f5d72c23e5f3f13464861033c4444d8e83be232df
hovercard-subject-tagrepository:238381893
github-keyboard-shortcutsrepository,copilot
google-site-verificationApib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-urlhttps://collector.github.com/github/collect
analytics-location//
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/bntre/visual-lambda
twitter:imagehttps://opengraph.githubassets.com/b6dd81d2bd53a6494d40d2da6d94dc0925d5cf4fb0214882850cdff5e13404e5/bntre/visual-lambda
twitter:cardsummary_large_image
og:imagehttps://opengraph.githubassets.com/b6dd81d2bd53a6494d40d2da6d94dc0925d5cf4fb0214882850cdff5e13404e5/bntre/visual-lambda
og:image:altVisual environment for manipulation the lambda calculus expressions - bntre/visual-lambda
og:image:width1200
og:image:height600
og:site_nameGitHub
og:typeobject
hostnamegithub.com
expected-hostnamegithub.com
None42c603b9d642c4a9065a51770f75e5e27132fef0e858607f5c9cb7e422831a7b
turbo-cache-controlno-preview
go-importgithub.com/bntre/visual-lambda git https://github.com/bntre/visual-lambda.git
octolytics-dimension-user_id35361814
octolytics-dimension-user_loginbntre
octolytics-dimension-repository_id238381893
octolytics-dimension-repository_nwobntre/visual-lambda
octolytics-dimension-repository_publictrue
octolytics-dimension-repository_is_forkfalse
octolytics-dimension-repository_network_root_id238381893
octolytics-dimension-repository_network_root_nwobntre/visual-lambda
turbo-body-classeslogged-out env-production page-responsive
disable-turbofalse
browser-stats-urlhttps://api.github.com/_private/browser/stats
browser-errors-urlhttps://api.github.com/_private/browser/errors
release00bbb8945a3943b287e04c68aff13cb5878ddde7
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://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 AIhttps://github.com/features/copilot
GitHub SparkBuild and deploy intelligent appshttps://github.com/features/spark
GitHub ModelsManage and compare promptshttps://github.com/features/models
MCP RegistryNewIntegrate external toolshttps://github.com/mcp
ActionsAutomate any workflowhttps://github.com/features/actions
CodespacesInstant dev environmentshttps://github.com/features/codespaces
IssuesPlan and track workhttps://github.com/features/issues
Code ReviewManage code changeshttps://github.com/features/code-review
GitHub Advanced SecurityFind and fix vulnerabilitieshttps://github.com/security/advanced-security
Code securitySecure your code as you buildhttps://github.com/security/advanced-security/code-security
Secret protectionStop leaks before they starthttps://github.com/security/advanced-security/secret-protection
Why GitHubhttps://github.com/why-github
Documentationhttps://docs.github.com
Bloghttps://github.blog
Changeloghttps://github.blog/changelog
Marketplacehttps://github.com/marketplace
View all featureshttps://github.com/features
Enterpriseshttps://github.com/enterprise
Small and medium teamshttps://github.com/team
Startupshttps://github.com/enterprise/startups
Nonprofitshttps://github.com/solutions/industry/nonprofits
App Modernizationhttps://github.com/solutions/use-case/app-modernization
DevSecOpshttps://github.com/solutions/use-case/devsecops
DevOpshttps://github.com/solutions/use-case/devops
CI/CDhttps://github.com/solutions/use-case/ci-cd
View all use caseshttps://github.com/solutions/use-case
Healthcarehttps://github.com/solutions/industry/healthcare
Financial serviceshttps://github.com/solutions/industry/financial-services
Manufacturinghttps://github.com/solutions/industry/manufacturing
Governmenthttps://github.com/solutions/industry/government
View all industrieshttps://github.com/solutions/industry
View all solutionshttps://github.com/solutions
AIhttps://github.com/resources/articles?topic=ai
Software Developmenthttps://github.com/resources/articles?topic=software-development
DevOpshttps://github.com/resources/articles?topic=devops
Securityhttps://github.com/resources/articles?topic=security
View all topicshttps://github.com/resources/articles
Customer storieshttps://github.com/customer-stories
Events & webinarshttps://github.com/resources/events
Ebooks & reportshttps://github.com/resources/whitepapers
Business insightshttps://github.com/solutions/executive-insights
GitHub Skillshttps://skills.github.com
Documentationhttps://docs.github.com
Customer supporthttps://support.github.com
Community forumhttps://github.com/orgs/community/discussions
Trust centerhttps://github.com/trust-center
Partnershttps://github.com/partners
GitHub SponsorsFund open source developershttps://github.com/sponsors
Security Labhttps://securitylab.github.com
Maintainer Communityhttps://maintainers.github.com
Acceleratorhttps://github.com/accelerator
Archive Programhttps://archiveprogram.github.com
Topicshttps://github.com/topics
Trendinghttps://github.com/trending
Collectionshttps://github.com/collections
Enterprise platformAI-powered developer platformhttps://github.com/enterprise
GitHub Advanced SecurityEnterprise-grade security featureshttps://github.com/security/advanced-security
Copilot for BusinessEnterprise-grade AI featureshttps://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 supporthttps://github.com/premium-support
Pricinghttps://github.com/pricing
Search syntax tipshttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
documentationhttps://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
Reloadhttps://github.com/bntre/visual-lambda
Reloadhttps://github.com/bntre/visual-lambda
Reloadhttps://github.com/bntre/visual-lambda
bntre https://github.com/bntre
visual-lambdahttps://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
Brancheshttps://github.com/bntre/visual-lambda/branches
Tagshttps://github.com/bntre/visual-lambda/tags
https://github.com/bntre/visual-lambda/branches
https://github.com/bntre/visual-lambda/tags
27 Commitshttps://github.com/bntre/visual-lambda/commits/master/
https://github.com/bntre/visual-lambda/commits/master/
workspaceshttps://github.com/bntre/visual-lambda/tree/master/workspaces
workspaceshttps://github.com/bntre/visual-lambda/tree/master/workspaces
!run_pygbag.bathttps://github.com/bntre/visual-lambda/blob/master/!run_pygbag.bat
!run_pygbag.bathttps://github.com/bntre/visual-lambda/blob/master/!run_pygbag.bat
.gitignorehttps://github.com/bntre/visual-lambda/blob/master/.gitignore
.gitignorehttps://github.com/bntre/visual-lambda/blob/master/.gitignore
LICENSEhttps://github.com/bntre/visual-lambda/blob/master/LICENSE
LICENSEhttps://github.com/bntre/visual-lambda/blob/master/LICENSE
README.mdhttps://github.com/bntre/visual-lambda/blob/master/README.md
README.mdhttps://github.com/bntre/visual-lambda/blob/master/README.md
cache.pyhttps://github.com/bntre/visual-lambda/blob/master/cache.py
cache.pyhttps://github.com/bntre/visual-lambda/blob/master/cache.py
color.pyhttps://github.com/bntre/visual-lambda/blob/master/color.py
color.pyhttps://github.com/bntre/visual-lambda/blob/master/color.py
common.pyhttps://github.com/bntre/visual-lambda/blob/master/common.py
common.pyhttps://github.com/bntre/visual-lambda/blob/master/common.py
config.cfghttps://github.com/bntre/visual-lambda/blob/master/config.cfg
config.cfghttps://github.com/bntre/visual-lambda/blob/master/config.cfg
config.pyhttps://github.com/bntre/visual-lambda/blob/master/config.py
config.pyhttps://github.com/bntre/visual-lambda/blob/master/config.py
console.pyhttps://github.com/bntre/visual-lambda/blob/master/console.py
console.pyhttps://github.com/bntre/visual-lambda/blob/master/console.py
construct.pyhttps://github.com/bntre/visual-lambda/blob/master/construct.py
construct.pyhttps://github.com/bntre/visual-lambda/blob/master/construct.py
controls.txthttps://github.com/bntre/visual-lambda/blob/master/controls.txt
controls.txthttps://github.com/bntre/visual-lambda/blob/master/controls.txt
cursors.pyhttps://github.com/bntre/visual-lambda/blob/master/cursors.py
cursors.pyhttps://github.com/bntre/visual-lambda/blob/master/cursors.py
debug.pyhttps://github.com/bntre/visual-lambda/blob/master/debug.py
debug.pyhttps://github.com/bntre/visual-lambda/blob/master/debug.py
eating.pyhttps://github.com/bntre/visual-lambda/blob/master/eating.py
eating.pyhttps://github.com/bntre/visual-lambda/blob/master/eating.py
events.pyhttps://github.com/bntre/visual-lambda/blob/master/events.py
events.pyhttps://github.com/bntre/visual-lambda/blob/master/events.py
favicon.pnghttps://github.com/bntre/visual-lambda/blob/master/favicon.png
favicon.pnghttps://github.com/bntre/visual-lambda/blob/master/favicon.png
fielditem.pyhttps://github.com/bntre/visual-lambda/blob/master/fielditem.py
fielditem.pyhttps://github.com/bntre/visual-lambda/blob/master/fielditem.py
figure.pyhttps://github.com/bntre/visual-lambda/blob/master/figure.py
figure.pyhttps://github.com/bntre/visual-lambda/blob/master/figure.py
history.pyhttps://github.com/bntre/visual-lambda/blob/master/history.py
history.pyhttps://github.com/bntre/visual-lambda/blob/master/history.py
kgrind.pyhttps://github.com/bntre/visual-lambda/blob/master/kgrind.py
kgrind.pyhttps://github.com/bntre/visual-lambda/blob/master/kgrind.py
lambdaparser.pyhttps://github.com/bntre/visual-lambda/blob/master/lambdaparser.py
lambdaparser.pyhttps://github.com/bntre/visual-lambda/blob/master/lambdaparser.py
let.pyhttps://github.com/bntre/visual-lambda/blob/master/let.py
let.pyhttps://github.com/bntre/visual-lambda/blob/master/let.py
library.pyhttps://github.com/bntre/visual-lambda/blob/master/library.py
library.pyhttps://github.com/bntre/visual-lambda/blob/master/library.py
library.txthttps://github.com/bntre/visual-lambda/blob/master/library.txt
library.txthttps://github.com/bntre/visual-lambda/blob/master/library.txt
localstorage.pyhttps://github.com/bntre/visual-lambda/blob/master/localstorage.py
localstorage.pyhttps://github.com/bntre/visual-lambda/blob/master/localstorage.py
main.pyhttps://github.com/bntre/visual-lambda/blob/master/main.py
main.pyhttps://github.com/bntre/visual-lambda/blob/master/main.py
matrix.pyhttps://github.com/bntre/visual-lambda/blob/master/matrix.py
matrix.pyhttps://github.com/bntre/visual-lambda/blob/master/matrix.py
node.pyhttps://github.com/bntre/visual-lambda/blob/master/node.py
node.pyhttps://github.com/bntre/visual-lambda/blob/master/node.py
noke.pyhttps://github.com/bntre/visual-lambda/blob/master/noke.py
noke.pyhttps://github.com/bntre/visual-lambda/blob/master/noke.py
pygbag_index_html.tmplhttps://github.com/bntre/visual-lambda/blob/master/pygbag_index_html.tmpl
pygbag_index_html.tmplhttps://github.com/bntre/visual-lambda/blob/master/pygbag_index_html.tmpl
refnames.pyhttps://github.com/bntre/visual-lambda/blob/master/refnames.py
refnames.pyhttps://github.com/bntre/visual-lambda/blob/master/refnames.py
ring.pyhttps://github.com/bntre/visual-lambda/blob/master/ring.py
ring.pyhttps://github.com/bntre/visual-lambda/blob/master/ring.py
saving.pyhttps://github.com/bntre/visual-lambda/blob/master/saving.py
saving.pyhttps://github.com/bntre/visual-lambda/blob/master/saving.py
screenshot.pnghttps://github.com/bntre/visual-lambda/blob/master/screenshot.png
screenshot.pnghttps://github.com/bntre/visual-lambda/blob/master/screenshot.png
setup.pyhttps://github.com/bntre/visual-lambda/blob/master/setup.py
setup.pyhttps://github.com/bntre/visual-lambda/blob/master/setup.py
toolbar.pyhttps://github.com/bntre/visual-lambda/blob/master/toolbar.py
toolbar.pyhttps://github.com/bntre/visual-lambda/blob/master/toolbar.py
toolbar_icons.pnghttps://github.com/bntre/visual-lambda/blob/master/toolbar_icons.png
toolbar_icons.pnghttps://github.com/bntre/visual-lambda/blob/master/toolbar_icons.png
vector.pyhttps://github.com/bntre/visual-lambda/blob/master/vector.py
vector.pyhttps://github.com/bntre/visual-lambda/blob/master/vector.py
window.pyhttps://github.com/bntre/visual-lambda/blob/master/window.py
window.pyhttps://github.com/bntre/visual-lambda/blob/master/window.py
READMEhttps://github.com/bntre/visual-lambda
LGPL-3.0 licensehttps://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-lambdahttps://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-lambdahttps://bntr.itch.io/visual-lambda
https://github.com/bntre/visual-lambda#notation
Basicshttps://bntr.planet.ee/lambda/visual_lambda_bubble_notation.gif
visual_lambda.pdfhttps://bntr.planet.ee/lambda/work/visual_lambda.pdf
https://github.com/bntre/visual-lambda#examples
https://www.youtube.com/watch?v=YEyyyzUuUJQhttps://www.youtube.com/watch?v=YEyyyzUuUJQ
'MULT 3 2' evaluationhttps://bntr.planet.ee/lambda/visual_lambda_MULT_3_2_=_6.gif
'((λgm.m(gg))(λgm.m(gg)))M' building and evaluationhttps://bntr.planet.ee/lambda/lambda_F_anim.gif
'Y I' evaluationhttps://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.txthttps://github.com/bntre/visual-lambda/blob/master/controls.txt
https://github.com/bntre/visual-lambda#predefined-expression-library
library.txthttps://github.com/bntre/visual-lambda/blob/master/library.txt
https://github.com/bntre/visual-lambda#related-works
Programming with Visual Expressions, Wayne Citrinhttps://web.archive.org/web/20110524135539/users.encs.concordia.ca/~haarslev/vl95www/html-papers/citrin/citrin.html
A Graphical Notation for the Lambda Calculus, Dave Keenanhttps://dkeenan.com/Lambda/
Alligator Eggs, Bret Victorhttp://worrydream.com/AlligatorEggs/
browser gamehttps://tibordp.github.io/gator-calculus/
Prathyvsh's cataloghttps://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 pagehttps://github.com/bntre/visual-lambda
Activityhttps://github.com/bntre/visual-lambda/activity
30 starshttps://github.com/bntre/visual-lambda/stargazers
2 watchinghttps://github.com/bntre/visual-lambda/watchers
1 forkhttps://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
Releaseshttps://github.com/bntre/visual-lambda/releases
Packages 0https://github.com/users/bntre/packages?repo_name=visual-lambda
Please reload this pagehttps://github.com/bntre/visual-lambda
Contributors 2https://github.com/bntre/visual-lambda/graphs/contributors
Please reload this pagehttps://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
Termshttps://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacyhttps://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Securityhttps://github.com/security
Statushttps://www.githubstatus.com/
Communityhttps://github.community/
Docshttps://docs.github.com/
Contacthttps://support.github.com?tags=dotcom-footer

Viewport: width=device-width


URLs of crawlers that visited me.