{"id":20658558,"url":"https://github.com/gergoerdi/tandoori","last_synced_at":"2025-04-19T13:19:28.822Z","repository":{"id":641220,"uuid":"283131","full_name":"gergoerdi/tandoori","owner":"gergoerdi","description":"Compositional type checking for Haskell","archived":false,"fork":false,"pushed_at":"2011-04-14T17:44:41.000Z","size":340,"stargazers_count":37,"open_issues_count":0,"forks_count":3,"subscribers_count":3,"default_branch":"master","last_synced_at":"2025-03-29T08:11:40.083Z","etag":null,"topics":["haskell","type-system","typechecker"],"latest_commit_sha":null,"homepage":"","language":"Haskell","has_issues":false,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"bsd-3-clause","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/gergoerdi.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2009-08-20T15:23:04.000Z","updated_at":"2025-03-19T07:18:31.000Z","dependencies_parsed_at":"2022-07-07T14:28:19.115Z","dependency_job_id":null,"html_url":"https://github.com/gergoerdi/tandoori","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/gergoerdi%2Ftandoori","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/gergoerdi%2Ftandoori/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/gergoerdi%2Ftandoori/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/gergoerdi%2Ftandoori/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/gergoerdi","download_url":"https://codeload.github.com/gergoerdi/tandoori/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":249702807,"owners_count":21312761,"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","type-system","typechecker"],"created_at":"2024-11-16T18:26:56.542Z","updated_at":"2025-04-19T13:19:28.803Z","avatar_url":"https://github.com/gergoerdi.png","language":"Haskell","funding_links":[],"categories":[],"sub_categories":[],"readme":"Tandoori: Compositional type checker for Haskell\n================================================\n\nTandoori is an implementation of [Olaf Chitil's compositional type\nsystem][comp], extended for supporting [type classes][class].\nIllustration for my MSc thesis *Compositional Type Checking for\nHindley-Milner Type Systems with Ad-hoc Polymorphism*. See\n\u003chttp://gergo.erdi.hu/projects/tandoori/\u003e for details, and\n[this blog post][blog] for a short introduction.\n\n\n[comp]: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.818\n[class]: http://research.microsoft.com/en-us/um/people/simonpj/papers/classhask.ps.gz\n[blog]: http://gergo.erdi.hu/blog/2010-10-23-the_case_for_compositional_type_checking/\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fgergoerdi%2Ftandoori","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fgergoerdi%2Ftandoori","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fgergoerdi%2Ftandoori/lists"}