uwdb/Cosette

Cosette is an automated SQL solver.

686

stars

541

commits

Lean

primary language

Dec 18, 2024

updated

coq

database

rosette

sql

verification

README

Cosette

Note: this repo is now deprecated. Check out our new QED solver!

Cosette is a language, and an automated solver for reasoning SQL equivalences.

Read Introducing Cosette
See the Cosette Guide to see how to use Cosette
Try Cosette online demo
Check out cosette website for research papers about Cosette

This project is in active development. Shoot us a message (cosette@cs.washington.edu) or create an issue if you find something doesn't work!

Contributors

411 commits

67 commits

41 commits

9 commits

Similar repos

gregrahn/sqllogictest

personal git mirror of sqllogictest

shared topics

cockroachdb/cockroach

CockroachDB — the cloud native, distributed SQL database designed for high availability, effortless…

32,442

shared topics

cwida/duckdb

DuckDB is an analytical in-process SQL database management system

41,033

shared topics

duckdb/duckdb

DuckDB is an analytical in-process SQL database management system

41,116

shared topics

eduardofuncao/squix

A CLI tool for managing and executing SQL queries across multiple databases. Written in Go, made…

267

shared topics

slick/slick

Slick (Scala Language Integrated Connection Kit) is a modern database query and access library for…

2,665

shared topics

exoscale/seql

Simplfied EDN Query Language for SQL

120

shared topics

snowflakedb/snowflake-connector-net

Snowflake Connector for .NET

208

shared topics

Languages

Lean

45.0%

Racket

27.4%

Coq

16.6%

Haskell

9.0%

Python

1.6%

uwdb/Cosette

Cosette is an automated SQL solver.

686

stars

541

commits

Lean

primary language

Dec 18, 2024

updated

coq

database

rosette

sql

verification

README

Cosette

Note: this repo is now deprecated. Check out our new QED solver!

Cosette is a language, and an automated solver for reasoning SQL equivalences.

Read Introducing Cosette
See the Cosette Guide to see how to use Cosette
Try Cosette online demo
Check out cosette website for research papers about Cosette

This project is in active development. Shoot us a message (cosette@cs.washington.edu) or create an issue if you find something doesn't work!

Similar repos

gregrahn/sqllogictest

personal git mirror of sqllogictest

shared topics

cockroachdb/cockroach

CockroachDB — the cloud native, distributed SQL database designed for high availability, effortless…

32,442

shared topics

cwida/duckdb

DuckDB is an analytical in-process SQL database management system

41,033

shared topics

duckdb/duckdb

DuckDB is an analytical in-process SQL database management system

41,116

shared topics

eduardofuncao/squix

A CLI tool for managing and executing SQL queries across multiple databases. Written in Go, made…

267

shared topics

slick/slick

Slick (Scala Language Integrated Connection Kit) is a modern database query and access library for…

2,665

shared topics

exoscale/seql

Simplfied EDN Query Language for SQL

120

shared topics

snowflakedb/snowflake-connector-net

Snowflake Connector for .NET

208

shared topics

Contributors

411 commits

67 commits

41 commits

9 commits

Languages

Lean

45.0%

Racket

27.4%

Coq

16.6%

Haskell

9.0%

Python

1.6%