{"id":17004792,"url":"https://github.com/gtramontina/lambda","last_synced_at":"2025-07-14T03:30:58.490Z","repository":{"id":48331748,"uuid":"77913035","full_name":"gtramontina/lambda","owner":"gtramontina","description":"Fun with λ calculus!","archived":false,"fork":false,"pushed_at":"2021-08-01T04:45:29.000Z","size":11,"stargazers_count":90,"open_issues_count":0,"forks_count":8,"subscribers_count":4,"default_branch":"master","last_synced_at":"2025-04-25T11:51:17.864Z","etag":null,"topics":["es6","es6-javascript","functional","functional-programming","javascript","lambda","lambda-calculus"],"latest_commit_sha":null,"homepage":null,"language":"JavaScript","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/gtramontina.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}},"created_at":"2017-01-03T11:55:39.000Z","updated_at":"2024-09-04T14:34:48.000Z","dependencies_parsed_at":"2022-09-18T10:30:25.306Z","dependency_job_id":null,"html_url":"https://github.com/gtramontina/lambda","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/gtramontina/lambda","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/gtramontina%2Flambda","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/gtramontina%2Flambda/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/gtramontina%2Flambda/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/gtramontina%2Flambda/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/gtramontina","download_url":"https://codeload.github.com/gtramontina/lambda/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/gtramontina%2Flambda/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":265237695,"owners_count":23732514,"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","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":["es6","es6-javascript","functional","functional-programming","javascript","lambda","lambda-calculus"],"created_at":"2024-10-14T04:44:29.281Z","updated_at":"2025-07-14T03:30:58.439Z","avatar_url":"https://github.com/gtramontina.png","language":"JavaScript","funding_links":[],"categories":[],"sub_categories":[],"readme":"\u003ch1 align=\"center\"\u003eλ\u003c/h1\u003e\n\n## Fun with Lambda Calculus in JS\n\n[![Build Status](https://travis-ci.org/gtramontina/lambda.svg?branch=master)](https://travis-ci.org/gtramontina/lambda)\n\n### Exploring:\n\n```shell\n$ node lambda.js\n```\n\u003cp align=\"center\"\u003e\u003cimg src=\"https://cloud.githubusercontent.com/assets/374635/21608626/cdfbf268-d211-11e6-910e-f49f5bd8f7ce.png\"\u003e\u003c/p\u003e\n\n### Fiddling with it (`npm install` first):\n\n```shell\n$ npm test\n```\n\n---\n\n#### Notes:\n\n1. These are functions _all the way_, so expect your stack to grow real quick! :smile: You can increase it if you want with node's parameter `--stack-size=\u003cn\u003e`, as you can see in the test npm script.\n\n2. I cheated a bit when using named lambda abstractions (for the sake of readability)\n\n#### References:\n\n* [Lambda Calculi, by Shane Steinert-Threlkeld](http://www.iep.utm.edu/lambda-calculi/)\n* [Lambda Calculus - Wikipedia](https://en.wikipedia.org/wiki/Lambda_calculus)\n* [Church Encoding - Wikipedia](https://en.wikipedia.org/wiki/Church_encoding)\n* [Programming with Nothing](https://codon.com/programming-with-nothing), by [@tomstuart](https://github.com/tomstuart)\n* [Fun with the Lambda Calculus](https://www.youtube.com/watch?v=QPqoFCHpLF4), by [@coreyhaines](https://github.com/coreyhaines)\n* [Types and Programming Languages (chapter 5, \"The Untyped Lambda-Calculus\") ](https://www.cis.upenn.edu/~bcpierce/tapl/), by [Benjamin C. Pierce](https://en.wikipedia.org/wiki/Benjamin_C._Pierce)\n\n---\n\nI hope you enjoy reading it as much as I enjoyed doing it! :heart: Perhaps you could add more examples…? :smile:\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fgtramontina%2Flambda","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fgtramontina%2Flambda","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fgtramontina%2Flambda/lists"}