{"id":16639901,"url":"https://github.com/v-kolesnikov/untyped_lambda_calculus","last_synced_at":"2025-05-07T02:41:07.085Z","repository":{"id":95378385,"uuid":"84184288","full_name":"v-kolesnikov/untyped_lambda_calculus","owner":"v-kolesnikov","description":"Simple untyped λάμδα calculus on Ruby","archived":false,"fork":false,"pushed_at":"2017-07-26T08:52:53.000Z","size":14,"stargazers_count":4,"open_issues_count":0,"forks_count":1,"subscribers_count":1,"default_branch":"master","last_synced_at":"2025-05-03T06:38:24.482Z","etag":null,"topics":["church-encoding","computer-science","lambda-calculus"],"latest_commit_sha":null,"homepage":"","language":"Ruby","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/v-kolesnikov.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE.txt","code_of_conduct":"CODE_OF_CONDUCT.md","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":"2017-03-07T10:07:45.000Z","updated_at":"2019-09-03T11:44:48.000Z","dependencies_parsed_at":"2023-03-03T12:45:48.583Z","dependency_job_id":null,"html_url":"https://github.com/v-kolesnikov/untyped_lambda_calculus","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/v-kolesnikov%2Funtyped_lambda_calculus","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/v-kolesnikov%2Funtyped_lambda_calculus/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/v-kolesnikov%2Funtyped_lambda_calculus/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/v-kolesnikov%2Funtyped_lambda_calculus/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/v-kolesnikov","download_url":"https://codeload.github.com/v-kolesnikov/untyped_lambda_calculus/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":252802449,"owners_count":21806505,"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":["church-encoding","computer-science","lambda-calculus"],"created_at":"2024-10-12T07:07:21.727Z","updated_at":"2025-05-07T02:41:07.069Z","avatar_url":"https://github.com/v-kolesnikov.png","language":"Ruby","funding_links":[],"categories":[],"sub_categories":[],"readme":"[![Build Status](https://travis-ci.org/v-kolesnikov/untyped_lambda_calculus.svg?branch=master)](https://travis-ci.org/v-kolesnikov/untyped_lambda_calculus)\n\n# Untyped lambda Calculus\n\n[![asciicast](https://asciinema.org/a/daqlblli7piucrr4vexo6f4a7.png)](https://asciinema.org/a/daqlblli7piucrr4vexo6f4a7)\n\n## Installation\n\nAdd this line to your application's Gemfile:\n\n```ruby\ngem 'untyped_lambda_calculus', github: 'v-kolesnikov/untyped_lambda_calculus'\n```\n\nAnd then execute:\n\n    $ bundle\n\n## Usage\n\nJust explore code!\n\n## Contributing\n\nBug reports and pull requests are welcome on GitHub at https://github.com/v-kolesnikov/untyped_lambda_calculus. This project is intended to be a safe, welcoming space for collaboration, and contributors are expected to adhere to the [Contributor Covenant](http://contributor-covenant.org) code of conduct.\n\n\n## License\n\nThe gem is available as open source under the terms of the [MIT License](http://opensource.org/licenses/MIT).\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fv-kolesnikov%2Funtyped_lambda_calculus","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fv-kolesnikov%2Funtyped_lambda_calculus","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fv-kolesnikov%2Funtyped_lambda_calculus/lists"}