{"id":24528170,"url":"https://github.com/deric-w/lambda_repl","last_synced_at":"2026-01-31T15:02:07.149Z","repository":{"id":65420785,"uuid":"528547669","full_name":"Deric-W/lambda_repl","owner":"Deric-W","description":"REPL for the lambda calculus","archived":false,"fork":false,"pushed_at":"2025-11-25T10:51:15.000Z","size":74,"stargazers_count":1,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"main","last_synced_at":"2025-11-28T01:55:08.645Z","etag":null,"topics":["education","lambda-calculus","lambda-calculus-interpreter","python3","read-eval-print-loop","repl"],"latest_commit_sha":null,"homepage":"","language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/Deric-W.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2022-08-24T18:29:28.000Z","updated_at":"2025-11-25T10:51:18.000Z","dependencies_parsed_at":"2025-04-14T15:52:47.201Z","dependency_job_id":"b7c18cc3-8e3b-4a6c-947a-9f98bb13bea3","html_url":"https://github.com/Deric-W/lambda_repl","commit_stats":{"total_commits":14,"total_committers":1,"mean_commits":14.0,"dds":0.0,"last_synced_commit":"6e9a59c7f7e2617aeed057a910a4e89bfb7494b9"},"previous_names":[],"tags_count":3,"template":false,"template_full_name":null,"purl":"pkg:github/Deric-W/lambda_repl","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Deric-W%2Flambda_repl","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Deric-W%2Flambda_repl/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Deric-W%2Flambda_repl/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Deric-W%2Flambda_repl/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/Deric-W","download_url":"https://codeload.github.com/Deric-W/lambda_repl/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Deric-W%2Flambda_repl/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":28946063,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-01-31T14:26:55.697Z","status":"ssl_error","status_checked_at":"2026-01-31T14:26:52.545Z","response_time":128,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.6:443 state=error: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["education","lambda-calculus","lambda-calculus-interpreter","python3","read-eval-print-loop","repl"],"created_at":"2025-01-22T06:34:06.102Z","updated_at":"2026-01-31T15:02:07.135Z","avatar_url":"https://github.com/Deric-W.png","language":"Python","readme":"# lambda_repl\n\n[![Hatch project](https://img.shields.io/badge/%F0%9F%A5%9A-Hatch-4051b5.svg)](https://github.com/pypa/hatch)\n![Tests](https://github.com/Deric-W/lambda_repl/actions/workflows/Tests.yaml/badge.svg)\n[![codecov](https://codecov.io/gh/Deric-W/lambda_repl/branch/main/graph/badge.svg?token=SU3982mC17)](https://codecov.io/gh/Deric-W/lambda_repl)\n\nThe `lambda_repl` package contains a [REPL](https://en.wikipedia.org/wiki/Read%E2%80%93eval%E2%80%93print_loop)\nfor the [lambda calculus](https://en.wikipedia.org/wiki/Lambda_calculus).\n\nTo use it, execute `lambda-repl` or `python3 -m lambda_repl` and enter commands.\n\n## Requirements\n\nPython \u003e= 3.10 and the packages [`lambda_calculus`](https://github.com/Deric-W/lambda_calculus)\nand [`lark`](https://github.com/lark-parser/lark) are required to use this package.\n\n## Installation\n\n```sh\npython3 -m pip install lambda-repl\n```\n\n## Examples\n\n```\npython3 -m lambda_repl\nWelcome to the the Lambda REPL, type 'help' for help\nλ alias I = \\x.x\nλ alias K = λx.λy.x\nλ import SUCC = lambda_calculus.terms.arithmetic.SUCCESSOR\nλ aliases\nI = (λx.x)\nK = (λx.(λy.x))\nSUCC = (λn.(λf.(λx.(f ((n f) x)))))\nλ trace K a b\nβ ((λy.a) b)\nβ a\nλ exit\nExiting REPL...\n```\n","funding_links":[],"categories":[],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fderic-w%2Flambda_repl","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fderic-w%2Flambda_repl","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fderic-w%2Flambda_repl/lists"}