{"id":23658958,"url":"https://github.com/wrsturgeon/sigma-types","last_synced_at":"2025-09-01T13:31:49.667Z","repository":{"id":269262109,"uuid":"906884697","full_name":"wrsturgeon/sigma-types","owner":"wrsturgeon","description":"Types automatically checked for invariants in debug builds only.","archived":false,"fork":false,"pushed_at":"2024-12-22T09:17:01.000Z","size":19,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"main","last_synced_at":"2024-12-22T09:17:19.784Z","etag":null,"topics":["invariant","invariants","rust","rust-lang","test","testing","testing-tools","type-theory"],"latest_commit_sha":null,"homepage":"https://crates.io/crates/sigma-types","language":"Nix","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/wrsturgeon.png","metadata":{},"created_at":"2024-12-22T07:41:14.000Z","updated_at":"2024-12-22T09:17:04.000Z","dependencies_parsed_at":null,"dependency_job_id":"48b4cb6f-e1e9-4a9e-9cb9-9eb8d8cf99cc","html_url":"https://github.com/wrsturgeon/sigma-types","commit_stats":null,"previous_names":["wrsturgeon/sigma-types"],"tags_count":null,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/wrsturgeon%2Fsigma-types","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/wrsturgeon%2Fsigma-types/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/wrsturgeon%2Fsigma-types/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/wrsturgeon%2Fsigma-types/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/wrsturgeon","download_url":"https://codeload.github.com/wrsturgeon/sigma-types/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":231687628,"owners_count":18411100,"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":["invariant","invariants","rust","rust-lang","test","testing","testing-tools","type-theory"],"created_at":"2024-12-29T01:48:31.531Z","updated_at":"2024-12-29T01:48:31.967Z","avatar_url":"https://github.com/wrsturgeon.png","language":"Nix","funding_links":[],"categories":[],"sub_categories":[],"readme":null,"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fwrsturgeon%2Fsigma-types","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fwrsturgeon%2Fsigma-types","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fwrsturgeon%2Fsigma-types/lists"}