{"id":30187,"url":"https://github.com/lamdu/hypertypes","last_synced_at":"2026-06-02T00:20:44.275Z","repository":{"id":56844527,"uuid":"158718783","full_name":"lamdu/hypertypes","owner":"lamdu","description":"Hypertypes - generic programming for heterogeneous recursive types","archived":false,"fork":false,"pushed_at":"2025-01-12T20:06:02.000Z","size":1911,"stargazers_count":125,"open_issues_count":9,"forks_count":11,"subscribers_count":9,"default_branch":"main","last_synced_at":"2025-08-06T07:40:30.737Z","etag":null,"topics":["programming-language-development","programming-languages","type-checker","type-inference"],"latest_commit_sha":null,"homepage":"","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/lamdu.png","metadata":{"files":{"readme":"README.md","changelog":"ChangeLog.md","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":"2018-11-22T15:30:10.000Z","updated_at":"2025-06-20T08:38:09.000Z","dependencies_parsed_at":"2023-01-30T23:45:17.114Z","dependency_job_id":"e110f360-7e58-4039-a098-bb783bad9824","html_url":"https://github.com/lamdu/hypertypes","commit_stats":{"total_commits":1219,"total_committers":7,"mean_commits":"174.14285714285714","dds":0.08121410992616895,"last_synced_commit":"186aac2f32c775043175a95a0f195e013511637c"},"previous_names":[],"tags_count":3,"template":false,"template_full_name":null,"purl":"pkg:github/lamdu/hypertypes","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lamdu%2Fhypertypes","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lamdu%2Fhypertypes/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lamdu%2Fhypertypes/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lamdu%2Fhypertypes/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/lamdu","download_url":"https://codeload.github.com/lamdu/hypertypes/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lamdu%2Fhypertypes/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":273444581,"owners_count":25107013,"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","status":"online","status_checked_at":"2025-09-03T02:00:09.631Z","response_time":76,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"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":["programming-language-development","programming-languages","type-checker","type-inference"],"created_at":"2024-01-12T17:19:09.918Z","updated_at":"2025-09-03T12:33:18.071Z","avatar_url":"https://github.com/lamdu.png","language":"Haskell","project_url":"https://opencollective.ecosyste.ms/api/v1/projects/30187","html_url":"https://opencollective.ecosyste.ms/projects/30187","collective":{"id":772,"uuid":"n4gx0bro-v5m96n0o-0ayqd8lk-3ey7jzwa","slug":"lamdu","name":"Lamdu","description":"The Lamdu collective develops Lamdu, a new kind of programming language which breaks out of the boundaries imposed by text files.","website":"https://lamdu.org","github":"lamdu","twitter":"LamduProject","repository_url":null,"social_links":[{"type":"WEBSITE","url":"https://lamdu.org"},{"type":"TWITTER","url":"https://twitter.com/LamduProject"},{"type":"GITHUB","url":"https://github.com/lamdu"}],"currency":"USD","projects_count":22,"last_synced_at":"2026-06-23T18:15:12.916Z","created_at":"2024-01-10T13:17:48.286Z","updated_at":"2026-06-23T18:15:13.065Z","transactions_count":78,"balance":658.2099999999994,"account_type":"COLLECTIVE","owner":{"login":"lamdu","name":"The Lamdu IDE","uuid":"13840193","kind":"organization","description":"The next-generation programming experience","email":null,"website":"http://www.lamdu.org","location":null,"twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/13840193?v=4","repositories_count":22,"last_synced_at":"2024-10-29T15:54:14.681Z","metadata":{"has_sponsors_listing":true},"html_url":"https://github.com/lamdu","funding_links":["https://github.com/sponsors/lamdu"],"total_stars":2017,"followers":9,"following":0,"created_at":"2022-11-02T21:53:10.668Z","updated_at":"2024-10-29T15:54:14.681Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/lamdu","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/lamdu/repositories"},"last_project_activity_at":"2025-09-24T21:52:19.000Z","archived":false,"no_funding":false,"no_license":false,"host":"opensource","collective_created_at":"2022-01-06T12:47:53.825Z","collective_updated_at":"2023-02-07T17:17:38.276Z","html_url":"https://opencollective.com/lamdu","icon_url":"https://images.opencollective.com/lamdu/logo/40.png","total_donations":658.2100000000002,"total_expenses":-78.35999999999999,"current_balance":658.2099999999994,"api_url":"https://opencollective.ecosyste.ms/api/v1/collectives/lamdu","url":"https://opencollective.ecosyste.ms/collectives/lamdu","projects_url":"https://opencollective.ecosyste.ms/api/v1/collectives/lamdu/projects"}}