{"id":17237819,"url":"https://github.com/tarao/lambdajs","last_synced_at":"2025-04-14T02:31:52.644Z","repository":{"id":844434,"uuid":"569662","full_name":"tarao/LambdaJS","owner":"tarao","description":"An interpreter of Lambda calculus written in JavaScript and working with JavaScript syntax.","archived":false,"fork":false,"pushed_at":"2018-10-07T08:40:15.000Z","size":96,"stargazers_count":47,"open_issues_count":0,"forks_count":5,"subscribers_count":7,"default_branch":"master","last_synced_at":"2025-03-27T16:50:45.117Z","etag":null,"topics":["evaluator","javascript","lambda-calculus","tutorial"],"latest_commit_sha":null,"homepage":"https://tarao.github.io/LambdaJS","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/tarao.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":"2010-03-19T10:49:55.000Z","updated_at":"2024-08-08T15:42:09.000Z","dependencies_parsed_at":"2022-08-16T11:10:13.867Z","dependency_job_id":null,"html_url":"https://github.com/tarao/LambdaJS","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tarao%2FLambdaJS","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tarao%2FLambdaJS/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tarao%2FLambdaJS/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tarao%2FLambdaJS/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/tarao","download_url":"https://codeload.github.com/tarao/LambdaJS/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":248810885,"owners_count":21165196,"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":["evaluator","javascript","lambda-calculus","tutorial"],"created_at":"2024-10-15T05:43:50.207Z","updated_at":"2025-04-14T02:31:52.371Z","avatar_url":"https://github.com/tarao.png","language":"JavaScript","funding_links":[],"categories":[],"sub_categories":[],"readme":"LambdaJS\n========\n\n![Screenshot](./LambdaJS.gif)\n\nLambdaJS is an interpreter of Lambda calculus written in JavaScript. It accepts terms of Lambda calculus written in JavaScript syntax.\n\nSupported browsers and known issues\n-----------------------------------\n\nThe latest version of Google Chrome or Firefox is recommended.\n\nIt should work on IE, Safari and Opera but less tested on these browsers.\nThere were some minor issues on old versions of IE and Opera.\n\nFeatures\n--------\n\n- Written in JavaScript and no need for server-side execution\n- Visualizes reduction steps\n- Allows users to choose evaluation strategy\n- Accepts syntax of Lambda calculus, JavaScript or mixture of both\n\nKey bindings on the console\n---------------------------\n\n|Key                     |Action          |\n|:-----------------------|:---------------|\n|`Enter`                 |run             |\n|`Ctrl`+`L`              |clear the screen|\n|`Ctrl`+`P`, `Up arrow`  |previous input  |\n|`Ctrl`+`N`, `Down arrow`|next input      |\n|`\\`                     |input '\u0026lambda';|\n\nRunning example\n---------------\n\nSee https://tarao.github.io/LambdaJS .\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftarao%2Flambdajs","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Ftarao%2Flambdajs","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftarao%2Flambdajs/lists"}