{"schema_version":4,"rid":"rad:z2dDE1PWWqtZNEoEWbCx8vSDLAnRd","name":"synquid","description":"Synquid synthesizes programs from refinement types based on the combination of bidirectional synthesis and liquid types.","url":"https://stats.radicle.at/repos/rad:z2dDE1PWWqtZNEoEWbCx8vSDLAnRd","explorer_url":"https://app.radicle.at/nodes/seed.radicle.at/rad:z2dDE1PWWqtZNEoEWbCx8vSDLAnRd","official":false,"indexed":true,"measured_on":"2026-11-09","seeds":5,"size_kib":1412,"stored":true,"size_kib_last":1412,"rank_by_seeds":9784,"rank_by_seeds_of":17052,"gainer_rank_7d":null,"gainer_rank_7d_of":342,"gainer_rank_7d_of_comparable":16755,"first_seen":"2026-10-15","first_seen_is_floor":false,"last_seen":"2026-11-09","delegates":[{"id":"did:key:z6Mkv2YCY2vx7ax92q8RzmPJLQv2x2cpEaFDV6vn7FaoFzB8","alias":"nyc"}],"collaboration":null,"activity":{"window_days":1825,"latest":"2022-04-06","commits":{"total":740,"in_window":1,"last_90_days":0,"first":"2014-12-31","first_in_window":"2022-04-06","latest":"2022-04-06","none_signed":true},"ci_jobs_in_window":0,"releases_in_window":0,"identities":0,"identities_active_last_90_days":0,"first_contribution":null,"half_of_contributions_by":null,"led_by":null,"commits_matched_by_email":0,"merge_median_seconds":null,"merge_median_over_patches":0,"contributors":[],"coauthors":[],"coauthors_not_listed":0},"change":{"7d":{"seeds":0,"days":7,"asked_days":7,"since":"2026-11-02","basis":"7d-median","level_now":5,"level_before":6,"level_days_now":7,"level_days_before":7,"level_days_asked":7,"band":3},"30d":{"seeds":0,"days":25,"asked_days":30,"since":"2026-10-15","basis":"7d-median","level_now":5,"level_before":3,"level_days_now":7,"level_days_before":1,"level_days_asked":7,"band":3}},"series":{"seeds":[["2026-10-15",3],["2026-10-16",8],["2026-10-21",5],["2026-10-22",10],["2026-10-23",5],["2026-10-25",9],["2026-10-26",6],["2026-10-31",9],["2026-11-04",5]],"size_kib":[["2026-10-15",1396],["2026-10-16",1412]]},"note":"series entries are change points, not daily samples: hold each value until the next entry. A seed count is only recorded once it moves by 3 seeds, or 8% of the seed count, whichever is larger, so smaller real changes are not in here. `change` compares two medians of 7 days each rather than two entries of this series: the series is a census of who announced the repository that day, and it swings. A difference no bigger than the `band` published beside those medians is reported as no change, so `seeds` and `level_now - level_before` differ there by design.","recording_threshold":{"seeds":3,"fraction":0.08},"license":"CC BY 4.0","source":"https://stats.radicle.at"}