{"id":15168741,"url":"https://github.com/uwdb/cosette","last_synced_at":"2025-05-15T09:02:46.430Z","repository":{"id":45165327,"uuid":"63834898","full_name":"uwdb/Cosette","owner":"uwdb","description":"Cosette is an automated SQL solver.","archived":false,"fork":false,"pushed_at":"2024-12-18T06:03:06.000Z","size":5825,"stargazers_count":676,"open_issues_count":27,"forks_count":55,"subscribers_count":43,"default_branch":"master","last_synced_at":"2025-04-07T03:16:21.005Z","etag":null,"topics":["coq","database","rosette","sql","verification"],"latest_commit_sha":null,"homepage":"","language":"Lean","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"bsd-2-clause","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/uwdb.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":"2016-07-21T03:45:45.000Z","updated_at":"2025-02-23T12:00:27.000Z","dependencies_parsed_at":"2025-01-18T03:02:16.693Z","dependency_job_id":"e20bad6f-5d88-43dd-8af0-a47d0d88ee73","html_url":"https://github.com/uwdb/Cosette","commit_stats":{"total_commits":489,"total_committers":12,"mean_commits":40.75,"dds":0.2883435582822086,"last_synced_commit":"c16b48ec7d278c717a9f1da3684f69621b3863f2"},"previous_names":[],"tags_count":2,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/uwdb%2FCosette","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/uwdb%2FCosette/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/uwdb%2FCosette/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/uwdb%2FCosette/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/uwdb","download_url":"https://codeload.github.com/uwdb/Cosette/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":248890528,"owners_count":21178456,"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":["coq","database","rosette","sql","verification"],"created_at":"2024-09-27T06:41:14.118Z","updated_at":"2025-04-14T13:45:54.183Z","avatar_url":"https://github.com/uwdb.png","language":"Lean","readme":"[![Gitter chat](https://badges.gitter.im/gitterHQ/gitter.png)](https://gitter.im/uwdb/Cosette)\n[![Build Status](https://travis-ci.org/uwdb/Cosette.svg?branch=master)](https://travis-ci.org/uwdb/Cosette)\n\nCosette\n=======\n\n**Note: this repo is now deprecated. Check out our new [QED](https://github.com/qed-solver/) solver!**\n\nCosette is a language, and an automated solver for reasoning SQL equivalences. \n\n* Read [Introducing Cosette](https://medium.com/@uwdb/introducing-cosette-527898504bd6) \n* See [the Cosette Guide](http://cosette.cs.washington.edu/guide) to see how to use Cosette\n* Try Cosette [online demo][demo]\n* Check out cosette [website][web] for research papers about Cosette\n\nThis project is in active development. Shoot us a message (cosette@cs.washington.edu) or create an issue if you find  something doesn't work!\n\n\n[web]: http://cosette.cs.washington.edu/.\n[demo]: http://demo.cosette.cs.washington.edu/.\n","funding_links":[],"categories":[],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fuwdb%2Fcosette","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fuwdb%2Fcosette","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fuwdb%2Fcosette/lists"}