{"id":13566248,"url":"https://github.com/flux-rs/flux","last_synced_at":"2025-04-03T23:31:32.911Z","repository":{"id":38215380,"uuid":"340048813","full_name":"flux-rs/flux","owner":"flux-rs","description":"Refinement Types for Rust","archived":false,"fork":false,"pushed_at":"2025-03-28T05:35:36.000Z","size":124457,"stargazers_count":706,"open_issues_count":49,"forks_count":23,"subscribers_count":11,"default_branch":"main","last_synced_at":"2025-03-28T06:27:00.204Z","etag":null,"topics":["refinement-types","rust"],"latest_commit_sha":null,"homepage":"","language":"Rust","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/flux-rs.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,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2021-02-18T12:51:06.000Z","updated_at":"2025-03-28T05:34:30.000Z","dependencies_parsed_at":"2024-01-30T03:39:57.828Z","dependency_job_id":"ffafd703-34e4-4b8b-a240-2740527985bd","html_url":"https://github.com/flux-rs/flux","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/flux-rs%2Fflux","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/flux-rs%2Fflux/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/flux-rs%2Fflux/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/flux-rs%2Fflux/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/flux-rs","download_url":"https://codeload.github.com/flux-rs/flux/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":247097928,"owners_count":20883125,"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":["refinement-types","rust"],"created_at":"2024-08-01T13:02:05.417Z","updated_at":"2025-04-03T23:31:27.896Z","avatar_url":"https://github.com/flux-rs.png","language":"Rust","funding_links":[],"categories":["Projects","Verifiers","Rust"],"sub_categories":["Verification"],"readme":"\u003cimg\n    src=\"assets/logo-wide.svg\"\n    alt=\"flux logo\" class=\"flux-logo\"\u003e\n\n`flux` is a refinement type checker for Rust.\n\n# Online Demo\n\nYou can try `flux` [online at this site](https://flux.programming.systems)\n\n# Overview\n\nFor an overview, take a look at the [`flux` website](https://flux-rs.github.io).\n\n# Docs\n\nDocumentation, including installation and usage guides can be found on the\n[website](https://flux-rs.github.io/flux).\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fflux-rs%2Fflux","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fflux-rs%2Fflux","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fflux-rs%2Fflux/lists"}