uwdb / Cosette
Licence: bsd-2-clause
Cosette is an automated SQL solver.
Stars: ✭ 533
Projects that are alternatives of or similar to Cosette
App
Directus Admin Application — An Intuitive WebApp for Managing Database Content
Stars: ✭ 464 (-12.95%)
Mutual labels: sql, database
Cockroach
CockroachDB - the open source, cloud-native distributed SQL database.
Stars: ✭ 22,700 (+4158.91%)
Mutual labels: sql, database
Go Mysql Server
A MySQL-compatible relational database with a storage agnostic query engine. Implemented in pure Go.
Stars: ✭ 445 (-16.51%)
Mutual labels: sql, database
Graphql Compiler
Turn complex GraphQL queries into optimized database queries.
Stars: ✭ 447 (-16.14%)
Mutual labels: sql, database
Monitor Table Change With Sqltabledependency
Get SQL Server notification on record table change
Stars: ✭ 459 (-13.88%)
Mutual labels: sql, database
Tpt Oracle
Tanel Poder's Troubleshooting & Performance Tools for Oracle Databases
Stars: ✭ 429 (-19.51%)
Mutual labels: sql, database
V8 Archive
Directus Database API — Wraps Custom SQL Databases with a REST/GraphQL API
Stars: ✭ 486 (-8.82%)
Mutual labels: sql, database
Evolve
Database migration tool for .NET and .NET Core projects. Inspired by Flyway.
Stars: ✭ 477 (-10.51%)
Mutual labels: sql, database
Android Orma
An ORM for Android with type-safety and painless smart migrations
Stars: ✭ 442 (-17.07%)
Mutual labels: sql, database
Coast
The fullest full stack clojure web framework
Stars: ✭ 442 (-17.07%)
Mutual labels: sql, database
Ramsql
In-memory SQL engine in Go sql/driver for testing purpose
Stars: ✭ 437 (-18.01%)
Mutual labels: sql, database
Orientdb
OrientDB is the most versatile DBMS supporting Graph, Document, Reactive, Full-Text and Geospatial models in one Multi-Model product. OrientDB can run distributed (Multi-Master), supports SQL, ACID Transactions, Full-Text indexing and Reactive Queries. OrientDB Community Edition is Open Source using a liberal Apache 2 license.
Stars: ✭ 4,394 (+724.39%)
Mutual labels: sql, database
Dataset
Easy-to-use data handling for SQL data stores with support for implicit table creation, bulk loading, and transactions.
Stars: ✭ 4,110 (+671.11%)
Mutual labels: sql, database
Pg
Golang ORM with focus on PostgreSQL features and performance
Stars: ✭ 4,918 (+822.7%)
Mutual labels: sql, database
Cosette
Note: we are busy developing Cosette 2.0, any feature request on Cosette 1.0 will not be considered.
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 ([email protected]) or create an issue if you find something doesn't work!
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].