{"id":22411608,"url":"https://github.com/groupoid/alonzo","last_synced_at":"2025-07-31T22:30:45.995Z","repository":{"id":42472172,"uuid":"474337440","full_name":"groupoid/alonzo","owner":"groupoid","description":"🧊 Типізоване ‏-ג‏‎числення","archived":false,"fork":false,"pushed_at":"2025-06-02T02:08:29.000Z","size":206,"stargazers_count":16,"open_issues_count":0,"forks_count":1,"subscribers_count":2,"default_branch":"main","last_synced_at":"2025-07-08T05:51:20.196Z","etag":null,"topics":["church","lambda-calculus","stlc"],"latest_commit_sha":null,"homepage":"https://alonzo.groupoid.space","language":"OCaml","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/groupoid.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG","contributing":null,"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,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2022-03-26T12:13:37.000Z","updated_at":"2025-06-02T07:47:59.000Z","dependencies_parsed_at":"2025-06-21T08:37:36.637Z","dependency_job_id":null,"html_url":"https://github.com/groupoid/alonzo","commit_stats":{"total_commits":40,"total_committers":3,"mean_commits":"13.333333333333334","dds":0.4,"last_synced_commit":"6412e769aebbbc71eb6b913075def85bd44e4e8f"},"previous_names":[],"tags_count":1,"template":false,"template_full_name":null,"purl":"pkg:github/groupoid/alonzo","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/groupoid%2Falonzo","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/groupoid%2Falonzo/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/groupoid%2Falonzo/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/groupoid%2Falonzo/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/groupoid","download_url":"https://codeload.github.com/groupoid/alonzo/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/groupoid%2Falonzo/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":265687707,"owners_count":23811297,"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","lambda-calculus","stlc"],"created_at":"2024-12-05T13:14:30.482Z","updated_at":"2025-07-31T22:30:45.985Z","avatar_url":"https://github.com/groupoid.png","language":"OCaml","readme":"# Alonzo\n\n\u003cimg src=\"https://anders.groupoid.space/images/alonzo.png\" width=600\u003e\n\nAlonzo is a STLC type system written in OCaml.\n\n## Build\n\n```shell\n$ dune build\n$ dune exec alonzo lib/nat.alonzo\n```\n\n## STLC\n\n* \u003ca href=\"https://media.githubusercontent.com/media/storagelfs/books/main/Origins%20of%20Intuitionism/Church/Church.%201940.pdf\"\u003e A Formulation of the Simple Theory of Types \u003c/a\u003e [Church]\n* \u003ca href=\"https://arxiv.org/pdf/1411.1029.pdf\"\u003e An Overview of Type Theories \u003c/a\u003e [Guallart]\n* \u003ca href=\"https://mroman42.github.io/ctlc/ctlc.pdf\"\u003e Category Theory and Lambda Calculus \u003c/a\u003e [García]\n\n## Credits\n\n* Oleh Marakhovskyi\n","funding_links":[],"categories":[],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fgroupoid%2Falonzo","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fgroupoid%2Falonzo","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fgroupoid%2Falonzo/lists"}