{"id":16733124,"url":"https://github.com/quchen/lambda-ski","last_synced_at":"2026-03-17T02:44:58.544Z","repository":{"id":66327246,"uuid":"118929815","full_name":"quchen/lambda-ski","owner":"quchen","description":"A lambda and SKI calculus playground","archived":false,"fork":false,"pushed_at":"2023-03-07T15:32:42.000Z","size":137,"stargazers_count":4,"open_issues_count":0,"forks_count":0,"subscribers_count":3,"default_branch":"master","last_synced_at":"2025-03-24T10:38:48.723Z","etag":null,"topics":["haskell","lambda-calculus","ski-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":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/quchen.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE.md","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-01-25T15:21:35.000Z","updated_at":"2023-03-07T14:59:33.000Z","dependencies_parsed_at":"2023-03-09T09:15:56.739Z","dependency_job_id":null,"html_url":"https://github.com/quchen/lambda-ski","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/quchen%2Flambda-ski","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/quchen%2Flambda-ski/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/quchen%2Flambda-ski/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/quchen%2Flambda-ski/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/quchen","download_url":"https://codeload.github.com/quchen/lambda-ski/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":248211832,"owners_count":21065837,"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":["haskell","lambda-calculus","ski-calculus"],"created_at":"2024-10-12T23:48:44.671Z","updated_at":"2026-03-17T02:44:58.484Z","avatar_url":"https://github.com/quchen.png","language":"Haskell","funding_links":[],"categories":[],"sub_categories":[],"readme":"Hello SK!\n=========\n\nHello World, the most famous and basic computing problem! However, after\nimplementing it in several languages, I realized that this problem should be\nsolved once for many languages instead of having to be rewritten time and time\nagain. We clearly need a compiler for Hello World programs.\n\nWe start by writing what we believe to be Hello World in untyped lambda\ncalculus. Since modern operating systems lack an interpreter by default, we had\nto write one here. Unfortunately, evaluating nominal [lambda calculus][λC] is\n*hard*, so we simplify the problem by transforming it into [De Bruijn][deBruijn]\nform, and then evaluate that. This allowed checking that the program is indeed\nHello World. We can finally compile this lambda calculus version to a\n[SK][wikipedia-SK] based one, which is easy to evaluate in many practical\nlangauges, such as not Java.\n\nYou can view the generated Hello Worlds in the `helloworld` subdirectory, or\ngenerate them yourself by running `scripts/generate-hello-worlds`.\n\n[deBruijn]: https://en.wikipedia.org/wiki/De_Bruijn_index\n[wikipedia-SK]: https://en.wikipedia.org/wiki/SKI_combinator_calculus\n[λC]: https://en.wikipedia.org/wiki/Lambda_calculus\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fquchen%2Flambda-ski","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fquchen%2Flambda-ski","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fquchen%2Flambda-ski/lists"}