{"id":20838059,"url":"https://github.com/timcsy/lambda","last_synced_at":"2025-08-02T01:10:41.519Z","repository":{"id":187409663,"uuid":"301684556","full_name":"timcsy/lambda","owner":"timcsy","description":null,"archived":false,"fork":false,"pushed_at":"2020-10-06T10:03:49.000Z","size":19,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"master","last_synced_at":"2025-06-28T15:47:00.896Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"C++","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/timcsy.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null}},"created_at":"2020-10-06T10:03:25.000Z","updated_at":"2020-10-06T10:03:53.000Z","dependencies_parsed_at":null,"dependency_job_id":"94568b69-6e41-4764-b67c-928ef5c430bc","html_url":"https://github.com/timcsy/lambda","commit_stats":null,"previous_names":["timcsy/lambda"],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/timcsy/lambda","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/timcsy%2Flambda","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/timcsy%2Flambda/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/timcsy%2Flambda/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/timcsy%2Flambda/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/timcsy","download_url":"https://codeload.github.com/timcsy/lambda/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/timcsy%2Flambda/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":268322414,"owners_count":24231819,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","status":"online","status_checked_at":"2025-08-01T02:00:08.611Z","response_time":67,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"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":[],"created_at":"2024-11-18T01:09:18.056Z","updated_at":"2025-08-02T01:10:41.491Z","avatar_url":"https://github.com/timcsy.png","language":"C++","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Lambda Calculus Interpreter\n\nReference:\n- https://en.wikipedia.org/wiki/Lambda_calculus_definition#Syntax_definition_in_BNF\n- https://ruslanspivak.com/lsbasi-part1/\n- https://tromp.github.io/cl/Binary_lambda_calculus.html\n- https://cs.stackexchange.com/questions/109954/writing-a-grammar-for-lambda-calculus\n- https://stackoverflow.com/questions/22390641/read-file-by-bits-c\n\n## BNF used for Normal Lambda Calculus in this project\n```\n\u003cexpr\u003e ::= \u003cabs\u003e\n         | \u003capp\u003e\n\u003citem\u003e ::= ( \u003cexpr\u003e )\n         | \u003cvar\u003e\n\u003cvar\u003e ::= (^[\\^\\.\\(\\)\\s])+\n\u003cabs\u003e ::= ^ \u003cvar\u003e . \u003cexpr\u003e\n\u003capp\u003e ::= \u003citem\u003e\n        | \u003capp\u003e (\u003cabs\u003e | \u003citem\u003e)\n```\n\n## BNF used for De Bruijn indexed Lambda Calculus in this project\n```\n\u003cexpr\u003e ::= \u003cabs\u003e\n         | \u003capp\u003e\n\u003citem\u003e ::= ( \u003cexpr\u003e )\n         | \u003cvar\u003e\n\u003cvar\u003e ::= [0-9]+\n\u003cabs\u003e ::= ^ \u003cexpr\u003e\n\u003capp\u003e ::= \u003citem\u003e\n        | \u003capp\u003e (\u003cabs\u003e | \u003citem\u003e)\n```\n\n## BNF used for Binary Lambda Calculus in this project\n```\n\u003cexpr\u003e ::= 00 \u003cexpr\u003e\n         | 01 \u003cexpr\u003e \u003cexpr\u003e\n         | 1+0\n```\n\n## Ussage\nNote\n```\nl lambda calculus\ni De Bruijn indexed lambda calculus\nbt Binary Lambda Calculus in text format\nb Binary Lambda Calculus in binary format\n```\n\nFrom （l, i, bt, b） convert to （l, i, bt, b）\n```\nbin/lc [--i=type] [input file [...]] [--o=type] [output file [...]]\n```\n\nwith std input\n```\nbin/lc [--i=x] [input file [...]] [--o=y] [output file [...]] \u003c\u003cEOF\n\u003e type\n\u003e whatever you want\n\u003e to type\n\u003e EOF\n```\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftimcsy%2Flambda","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Ftimcsy%2Flambda","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftimcsy%2Flambda/lists"}