Skip to content
Projets

uwdb/Cosette

Voir sur GitHub

uwdb/Cosette has 690 GitHub stars and 57 forks. Star changes are not measured yet. Last checked 2026-11-10 01:09 UTC. Last push 2024-12-18.

Comment ces chiffres sont mesurés

Cosette is an automated SQL solver.

690 étoiles57 forks

Progression mesurée des étoiles

in 24h
Mise à jour retardée
in 7 days
Mise à jour retardée
in 15 days
Mise à jour retardée
in 1 month
Mise à jour retardée

Variations nettes sur des périodes qui se chevauchent, pas des totaux quotidiens. Les mesures absentes restent vides. Les étoiles indiquent l’intérêt, pas la qualité.

README.md

Original

Gitter chat Build Status

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.

This project is in active development. Shoot us a message ([email protected]) or create an issue if you find something doesn't work!

Explorer des projets similaires

Asabeneh/30-Days-Of-Python

Le défi de programmation 30 Days of Python est un guide pas à pas pour apprendre le langage de programmation Python en 30 jours. Ce défi peut prendre plus de 100 jours. Avancez à votre rythme. Ces vidéos peuvent aussi vous aider : https://www.youtube.com/channel/UC7PNRuno1rzYPb1xLa4yktw

78,560 étoiles

grafana/grafana

Plateforme ouverte et composable d’observabilité et de visualisation de données. Visualise les métriques, les journaux et les traces issus de plusieurs sources, comme Prometheus, Loki, Elasticsearch, InfluxDB, Postgres et bien d’autres.

77,830 étoiles

redis/redis

Pour les développeurs qui créent des applications en temps réel pilotées par les données, Redis est le cache, le serveur de structures de données et le moteur de requêtes documentaires et vectorielles préféré, le plus rapide et le plus riche en fonctionnalités.

77,395 étoiles

apache/superset

Apache Superset est une plateforme de visualisation et d'exploration de données.

75,473 étoiles