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
- Programming Language for Continuous Deep Analytics☆47Updated last year
- egg is a flexible, high-performance e-graph library☆12Updated last year
- An experiment in using DuckDB for a datalog / egg☆26Updated last year
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- Prototype Mixed-consistency transaction implementation☆63Updated 7 years ago
- ☆20Updated last year
- Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020☆71Updated 8 months ago
- Prototype compiler from SaneQL to SQL☆85Updated last year
- Open source scholarly literature search☆16Updated 11 months ago
- Optimizing database queries with array programming☆20Updated 4 years ago
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆13Updated 7 years ago
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆45Updated 3 years ago
- Using Large Language Models for Repo-wide Type Prediction☆110Updated last year
- Terminal flame graph☆110Updated 5 years ago
- Datalog engine based on DuckDB☆10Updated 2 years ago
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆33Updated 4 years ago
- This library provides an implementation of the DBSP language for incremental streaming computations.☆134Updated 7 months ago
- ☆30Updated last year
- ☆83Updated 10 months ago
- CHR2 to SQL conversion☆14Updated 10 years ago
- Adding support for provenance and uncertainty management to PostgreSQL databases☆51Updated 3 weeks ago
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆74Updated last month
- A library for building efficient set-membership filters and dictionaries based on the Satisfiability problem.☆82Updated 3 years ago
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- Transactional functions-as-a-service for database-oriented applications.☆155Updated last year
- Datalog + Egg = Good☆66Updated 2 years ago
- An overview of property-based testing functionality☆71Updated 2 months ago
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆37Updated 11 months ago
- Standard ML interpreter, with relational extensions, implemented in Java☆41Updated 2 weeks ago