{"id":15063813,"url":"https://github.com/mireklzicar/awesome-lambda-calculus","last_synced_at":"2026-02-06T22:02:31.094Z","repository":{"id":251772157,"uuid":"838362866","full_name":"mireklzicar/awesome-lambda-calculus","owner":"mireklzicar","description":null,"archived":false,"fork":false,"pushed_at":"2024-08-05T14:01:46.000Z","size":5,"stargazers_count":1,"open_issues_count":0,"forks_count":1,"subscribers_count":1,"default_branch":"main","last_synced_at":"2025-10-28T17:02:08.169Z","etag":null,"topics":["combinatory-logic","functional-programming","haskell","lambda","lambda-calculus","lambda-expressions","lambda-function","lisp"],"latest_commit_sha":null,"homepage":"","language":null,"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/mireklzicar.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,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2024-08-05T13:40:03.000Z","updated_at":"2025-02-05T11:49:26.000Z","dependencies_parsed_at":"2024-08-05T17:44:25.971Z","dependency_job_id":null,"html_url":"https://github.com/mireklzicar/awesome-lambda-calculus","commit_stats":null,"previous_names":["mireklzicar/awesome-lambda-calculus"],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/mireklzicar/awesome-lambda-calculus","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mireklzicar%2Fawesome-lambda-calculus","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mireklzicar%2Fawesome-lambda-calculus/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mireklzicar%2Fawesome-lambda-calculus/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mireklzicar%2Fawesome-lambda-calculus/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/mireklzicar","download_url":"https://codeload.github.com/mireklzicar/awesome-lambda-calculus/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mireklzicar%2Fawesome-lambda-calculus/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":29178548,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-02-06T20:14:21.878Z","status":"ssl_error","status_checked_at":"2026-02-06T20:14:21.443Z","response_time":59,"last_error":"SSL_read: 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":["combinatory-logic","functional-programming","haskell","lambda","lambda-calculus","lambda-expressions","lambda-function","lisp"],"created_at":"2024-09-25T00:07:31.889Z","updated_at":"2026-02-06T22:02:31.079Z","avatar_url":"https://github.com/mireklzicar.png","language":null,"readme":"# [Awesome Lambda Calculus](https://en.wikipedia.org/wiki/Lambda_calculus) [![Awesome](https://cdn.rawgit.com/sindresorhus/awesome/d7305f38d29fed78fa85652e3a63e154dd8e8829/media/badge.svg)](https://github.com/sindresorhus/awesome)\n\nA curated list of awesome lambda calculus resources, libraries, tools, and more.\n\n## Contents\n\n- [Youtube](#youtube)\n- [Books](#books)\n- [Tutorials and Articles](#tutorials-and-articles)\n- [Repositories](#repositories)\n- [Courses](#courses)\n- [Tools](#tools)\n- [Communities](#communities)\n\n## Youtube\n- [Lambda Calculus - Computerphile](https://www.youtube.com/watch?v=eis11j_iGMs)\n- [Programming with Math | The Lambda Calculus](https://www.youtube.com/watch?v=ViPNHMSUcog)\n- [Lambda Cube Unboxed – Theo Reto](https://www.youtube.com/playlist?app=desktop\u0026list=PLNwzBl6BGLwOKBFVbvp-GFjAA_ESZ--q4)\n\n## Books\n\n- [Lambda-Calculus and Combinators: An Introduction – Roger Hindley](https://www.amazon.com/Lambda-Calculus-Combinators-Introduction-Roger-Hindley/dp/0521898854)\n- [An Introduction to Functional Programming Through Lambda Calculus – Greg Michaelson](https://www.amazon.com/Introduction-Functional-Programming-Calculus-Mathematics/dp/0486478831/ref=pd_bxgy_d_sccl_1/139-5484372-9620455?pd_rd_w=mU5uX\u0026content-id=amzn1.sym.c51e3ad7-b551-4b1a-b43c-3cf69addb649\u0026pf_rd_p=c51e3ad7-b551-4b1a-b43c-3cf69addb649\u0026pf_rd_r=A82D6N3C9AQ92VHQRHCY\u0026pd_rd_wg=Yi4ge\u0026pd_rd_r=41860d20-e8f6-46cf-8ddc-3eb05a6854cb\u0026pd_rd_i=0486478831\u0026psc=1)\n- [The Lambda Calculus. Its Syntax and Semantics](https://www.amazon.com/Lambda-Calculus-Syntax-Semantics-Studies/dp/184890066X/ref=sr_1_4?crid=3EVD0UV0T0N82\u0026dib=eyJ2IjoiMSJ9.htg-ldEytwSbFC_zggESLg7HNnkp3kPpBvyEPcy4DDqbxWaWuaLERJKQGPUN8onPdSKq7iViVuu8ubcAQNc0YrbJt6kNwhHRVnAHjLkXgKDCSMtRgQNfwmtZropzYVtMpDLoGkkcwWsV0PAlYwC9gcGr69v8urPf-YYF7K-WUhF6L1SzItR6JbCW1j_XeX98sds-RMS6xaieGQce5FJUndYjvFDyu5hpCF1ZDBM9zSU.we9H9Lq2_U1_t2gszOLP5yjtJ9w8Ds_ENzIJmwjMa0g\u0026dib_tag=se\u0026keywords=lambda+calculus\u0026qid=1722866110\u0026s=books\u0026sprefix=lambda+calculu%2Cstripbooks-intl-ship%2C222\u0026sr=1-4)\n- [Programming Languages and Lambda Calculi – Course notes from the UoU](https://www.cs.utah.edu/~mflatt/past-courses/cs7520/public_html/s06/notes.pdf) -\n- [Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire](http://eprints.eemcs.utwente.nl/7281/01/db-utwente-40501F46.pdf)\n- [An Introduction to Lambda Calculi for Computer Scientists](https://www.cs.rochester.edu/~brown/173/readings/LCBook.pdf)\n- [To Mock a Mockingbird](https://en.wikipedia.org/wiki/To_Mock_a_Mockingbird) - A book about combinatory logic and the lambda calculus\n\n## Tutorials and Articles\n\n- [The Y Combinator (Slight Return)](http://mvanier.livejournal.com/2897.html)\n- [Getting clever with lambda calculus](http://casualjavascript.com/2015/12/18/getting-clever-with-lambda.html)\n- [Category Theory via C# (22) More Monad: Continuation Monad](http://weblogs.asp.net/dixin/category-theory-via-c-sharp-22-more-monad-continuation-monad)\n- [A 𝝺-CALCULUS INTERPRETER - in less than 200 lines of JavaScript](http://tadeuzagallo.com/blog/writing-a-lambda-calculus-interpreter-in-javascript/)\n- [Compiling to lambda-calculus: Turtles all the way down](http://matt.might.net/articles/compiling-up-to-lambda-calculus)\n- [Lambda Calculus](http://dev.stephendiehl.com/fun/lambda_calculus.html)\n- [The Lambda Calculus for Absolute Dummies](http://palmstroem.blogspot.com/2012/05/lambda-calculus-for-absolute-dummies.html)\n\n\n## Repositories\n\n- [lambda-calculus](https://github.com/benji6/lambda-calculus) - A lambda calculus interpreter written in JavaScript\n- [LambdaJS](https://github.com/loop-recur/lambdajs) - A Lambda Calculus Interpreter in JavaScript\n- [lambda-calculus-interpreter](https://github.com/mtomassoli/lambda-calculus-interpreter) - A simple lambda calculus interpreter in Python\n\n\n## Tools\n\n- [Lambda Calculus Interpreter](http://jacksongl.github.io/files/demo/lambda/index.htm) - An online lambda calculus interpreter\n- [Lambda Calculus Reducer](https://www.wolframcloud.com/objects/microsites/LambdaCalculusReducer) - A Wolfram Cloud tool for reducing lambda calculus expressions\n\n## Communities\n\n- [Lambda the Ultimate](http://lambda-the-ultimate.org/) - A community-driven blog about programming languages, lambda calculus, and related topics\n- [/r/lambdacalculus](https://www.reddit.com/r/lambdacalculus/) - Reddit community for discussing lambda calculus\n\n## Contributing\n\nYour contributions are always welcome! Please submit a pull request or create an issue to add a new resource to the list.\n\n## License\n\n[![CC0](http://mirrors.creativecommons.org/presskit/buttons/88x31/svg/cc-zero.svg)](https://creativecommons.org/publicdomain/zero/1.0/)\n\nTo the extent possible under law, the author has waived all copyright and related or neighboring rights to this work.\n","funding_links":[],"categories":[],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmireklzicar%2Fawesome-lambda-calculus","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fmireklzicar%2Fawesome-lambda-calculus","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmireklzicar%2Fawesome-lambda-calculus/lists"}