Cosette

uwdb

Cosette is an automated SQL solver.

database

View on GitHub

686 Stars

58 Forks

686 Watchers

Lean Language

bsd-2-clause License

100 SrcLog Score

Cost to Build

$448.8K

Market Value

$1.30M

How is this calculated?

Growth over time

8 data points · 2021-08-01 → 2026-04-01

Stars Forks Watchers

💬

How do you feel about this project?

Ask AI about Cosette

Question copied to clipboard

What is the uwdb/Cosette GitHub project? Description: "Cosette is an automated SQL solver.". Written in Lean. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

How to clone Cosette

Clone via HTTPS

git clone https://github.com/uwdb/Cosette.git

Clone via SSH

[email protected]:uwdb/Cosette.git

Download ZIP

Download master.zip

Found an issue?

Report bugs or request features on the Cosette issue tracker:

Open GitHub Issues

Similar to Cosette

etcd mongo tidb influxdb cockroach realm-swift sqlmap sheetjs postgrest pouchdb metabase realm-java prisma1 sqlitebrowser bolt gun lowdb typeorm awesome-cheatsheets pgcli rxdb Eve awesome-bigdata efcore wcdb arangodb mycli dgraph mysql dbeaver