Cosette
by uwdb
Cosette is an automated SQL solver.
AI summary
SQL solver
Automated solver for reasoning SQL equivalences
- stars
- 668
- forks
- 54
- watching
- 43
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Coq IDE
A tool for interactive theorem proving and language support in Coq
SAT solver
A verified SAT solver with proof capabilities
Proof Assistant
Enables interactive proof development in Vim similar to other proof assistants.
Syntax generator
A tool for generating Coq code from syntactic theories with variable binders
Syntax automator
Automates formalizing syntactic theories with variable binders in Coq
Verification project
Formally verifying solutions to programming challenges in Coq
coq/vscoq349
Coq editor
An extension for Visual Studio Code and VSCodium to support Coq Proof Assistant
Proof assistant library
Python bindings for Coq's interactive proof assistant
Coq IDE
An Emacs plugin that enhances Coq mode with various features and tools for writing and debugging proof-based software
Proof assistant library
A Coq library providing structural tactics and utility definitions to simplify proof development in proof assistants.
monad library
A Coq library for formalizing and reasoning about monads with equational logic
BusyBeaverDecider
A project providing verified implementations of Busy Beaver deciders using Coq proof and verification.
Undecidability library
A collection of mechanized undecidability proofs in Coq
Database stress tester
Automated testing tool to identify logic and performance issues in databases
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions Cosette.
