{"id":16871691,"url":"https://github.com/phase/lambda","last_synced_at":"2026-06-28T21:31:26.575Z","repository":{"id":86155113,"uuid":"121552503","full_name":"phase/lambda","owner":"phase","description":"Untyped Lambda Calculus Interpreter","archived":false,"fork":false,"pushed_at":"2018-11-22T19:53:43.000Z","size":29,"stargazers_count":2,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"master","last_synced_at":"2025-03-18T19:55:16.797Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Kotlin","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mpl-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/phase.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE.txt","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}},"created_at":"2018-02-14T19:32:55.000Z","updated_at":"2023-02-28T16:00:35.000Z","dependencies_parsed_at":"2023-11-27T04:15:10.866Z","dependency_job_id":null,"html_url":"https://github.com/phase/lambda","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/phase/lambda","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/phase%2Flambda","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/phase%2Flambda/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/phase%2Flambda/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/phase%2Flambda/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/phase","download_url":"https://codeload.github.com/phase/lambda/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/phase%2Flambda/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":34905180,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-05-26T15:22:16.424Z","status":"online","status_checked_at":"2026-06-28T02:00:05.809Z","response_time":54,"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-10-13T15:09:28.372Z","updated_at":"2026-06-28T21:31:26.570Z","avatar_url":"https://github.com/phase.png","language":"Kotlin","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Lambda Calculus Interpreter\n\n\u003cs\u003eIt is currently untyped. It may get types in the future.\u003c/s\u003e\n\nCurrently in the process of getting types. (System F; Polymorphic Lambda Calculus) \n\nHere's a preview of what is currently supported:\n\n```\n\u003e\u003e 0 := \\f.\\x.x\n0 : /a./b./c./d.((a -\u003e b) -\u003e ((c -\u003e d) -\u003e (c -\u003e d))) = \\f.\\x.x\n```\n\n```\n0 := \\f.\\x.x\n1 := \\f.\\x.f x\n2 := \\f.\\x.f (f x)\n3 := \\f.\\x.f (f (f x))\n\ntrue  := \\x.\\y.x\nfalse := \\x.\\y.y\nand := \\p.\\q. p q p\nor  := \\p.\\q. p p q\nnot := \\p.p false true\nif := \\p.\\a.\\b.p a b\nisZero := \\n.n (\\x.false) true\n\ninc := \\n.\\f.\\x.f (n f x)\ndec := \\n.\\f.\\x.n (\\g.\\h.h (g f)) (\\u.x) (\\u.u)\n\nplus := \\m.\\n.m inc n\nmult := \\m.\\n.m (+ n) 0\nsub  := \\m.\\n.n (dec m)\n\n(mult (add 2 3)) 2\n```\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fphase%2Flambda","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fphase%2Flambda","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fphase%2Flambda/lists"}