plasma-umass / sqlwriteLinks
SQLwrite: AI in your DBMS! Automatically converts natural language queries to SQL.
☆122Updated 10 months ago
Alternatives and similar repositories for sqlwrite
Users that are interested in sqlwrite are comparing it to the libraries listed below
Sorting:
- Synthesize CRDTs from classic data types with verified lifting!☆148Updated last year
- ☆20Updated last year
- Prototype compiler from SaneQL to SQL☆86Updated last year
- egg is a flexible, high-performance e-graph library☆12Updated last year
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- Open source scholarly literature search☆16Updated 11 months ago
- An experiment in using DuckDB for a datalog / egg☆26Updated last year
- This tool uses OpenCV to automatically synchronize slides with videos that show these slides.☆104Updated 3 years ago
- DBOS file system using Voltdb☆19Updated 4 years ago
- Optimizing database queries with array programming☆20Updated 5 years ago
- Diagrams as text tool for visualizing concurrent operation histories☆22Updated 7 months ago
- Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020☆73Updated 2 weeks ago
- Graphsignal Tracer for Python☆205Updated last week
- Programming Language for Continuous Deep Analytics☆47Updated last year
- This library provides an implementation of the DBSP language for incremental streaming computations.☆137Updated 7 months ago
- Frame is new progrmming language for creating state machines (automata) in Python as well as generating UML documentation.☆68Updated this week
- A probabilistic approximate DNF counter☆37Updated 3 weeks ago
- A general purpose relational language☆19Updated 5 years ago
- Prototype Mixed-consistency transaction implementation☆63Updated 7 years ago
- Transactional functions-as-a-service for database-oriented applications.☆155Updated last year
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆73Updated 3 years ago
- ☆83Updated 11 months ago
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆253Updated last week
- a language for building system dynamic models☆167Updated 5 months ago
- Using Large Language Models for Repo-wide Type Prediction☆110Updated last year
- Various implementation of byte matrix multiplication☆26Updated 8 months ago
- CHR2 to SQL conversion☆14Updated 10 years ago
- A little Delta Lake/Iceberg inspired database implementation in Go☆43Updated 11 months ago
- Fast, multi-reader, multi-writer, lockless data structures for parallel programming☆87Updated last year
- Support for for students (Python)☆67Updated 4 months ago