{"id":13837520,"url":"https://github.com/polux/lambda-diagrams","last_synced_at":"2026-01-07T23:51:10.793Z","repository":{"id":136673270,"uuid":"135482439","full_name":"polux/lambda-diagrams","owner":"polux","description":"Animations of lambda term reduction sequences","archived":false,"fork":false,"pushed_at":"2018-05-30T18:29:45.000Z","size":11,"stargazers_count":83,"open_issues_count":0,"forks_count":5,"subscribers_count":5,"default_branch":"master","last_synced_at":"2024-02-17T10:37:58.679Z","etag":null,"topics":["lambda-calculus"],"latest_commit_sha":null,"homepage":null,"language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"apache-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/polux.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null}},"created_at":"2018-05-30T18:29:11.000Z","updated_at":"2024-01-04T16:23:29.000Z","dependencies_parsed_at":"2024-01-13T17:10:44.093Z","dependency_job_id":"4551dda1-a779-495b-ae0b-f3ed4f44a404","html_url":"https://github.com/polux/lambda-diagrams","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/polux/lambda-diagrams","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/polux%2Flambda-diagrams","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/polux%2Flambda-diagrams/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/polux%2Flambda-diagrams/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/polux%2Flambda-diagrams/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/polux","download_url":"https://codeload.github.com/polux/lambda-diagrams/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/polux%2Flambda-diagrams/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":264631212,"owners_count":23640941,"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":["lambda-calculus"],"created_at":"2024-08-04T15:01:12.506Z","updated_at":"2026-01-07T23:51:10.765Z","avatar_url":"https://github.com/polux.png","language":"Haskell","readme":"# Lambda Diagrams\n\n*Disclaimer: this is not an official Google product*\n\nAn implementation of John Tromp's [lambda diagrams][1] graphical notation for\nlambda terms. It reads a lambda term on the standard input and renders an\nanimation of its evaluation.\n\nThis [youtube playlist][2] showcases animations produced with this program.\n\nUsage:\n\n```\nstack build\nstack exec lambda-diagrams \u003c prog.lam\navconv -framerate 10 -f image2 -i /tmp/out_%04d.png -c:v h264 -crf 1 lam.mp4\n```\n\n[1]: https://tromp.github.io/cl/diagrams.html\n[2]: https://www.youtube.com/playlist?list=PLi8_XqluS5xc7GL-bgVrxpA2Uww6nK0gV\n","funding_links":[],"categories":["Haskell"],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fpolux%2Flambda-diagrams","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fpolux%2Flambda-diagrams","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fpolux%2Flambda-diagrams/lists"}