{"id":20982558,"url":"https://github.com/jackfoxy/dependenttypes","last_synced_at":"2025-07-25T09:33:53.911Z","repository":{"id":147018392,"uuid":"108684504","full_name":"jackfoxy/DependentTypes","owner":"jackfoxy","description":"experiments with @robkuz LimitedValue type","archived":false,"fork":false,"pushed_at":"2019-09-28T17:24:37.000Z","size":752,"stargazers_count":71,"open_issues_count":6,"forks_count":3,"subscribers_count":7,"default_branch":"master","last_synced_at":"2025-05-14T16:39:54.954Z","etag":null,"topics":["dependent-types","fsharp"],"latest_commit_sha":null,"homepage":"https://jackfoxy.github.io/DependentTypes/","language":"F#","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"unlicense","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/jackfoxy.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE.txt","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":"2017-10-28T21:12:36.000Z","updated_at":"2025-03-25T19:24:06.000Z","dependencies_parsed_at":null,"dependency_job_id":"8c41b5c3-3aa6-4cb3-9dc5-5ef5d522997a","html_url":"https://github.com/jackfoxy/DependentTypes","commit_stats":null,"previous_names":[],"tags_count":9,"template":false,"template_full_name":null,"purl":"pkg:github/jackfoxy/DependentTypes","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jackfoxy%2FDependentTypes","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jackfoxy%2FDependentTypes/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jackfoxy%2FDependentTypes/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jackfoxy%2FDependentTypes/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/jackfoxy","download_url":"https://codeload.github.com/jackfoxy/DependentTypes/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jackfoxy%2FDependentTypes/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":265473115,"owners_count":23772041,"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":["dependent-types","fsharp"],"created_at":"2024-11-19T05:45:56.796Z","updated_at":"2025-07-16T01:15:19.295Z","avatar_url":"https://github.com/jackfoxy.png","language":"F#","funding_links":[],"categories":[],"sub_categories":[],"readme":"# DependentTypes\n\nExperiments with @robkuz's DependentType type to create fully functioning F# dependent types.\n\n[Documentation and tutorial](https://jackfoxy.github.io/DependentTypes/)\n\nBased on the article [Creating Generic Wrappers for Validated Values](https://robkuz.github.io/Limited-Values/) and [discussion here](https://github.com/robkuz/robkuz.github.io/issues/6).","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fjackfoxy%2Fdependenttypes","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fjackfoxy%2Fdependenttypes","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fjackfoxy%2Fdependenttypes/lists"}