plasma-umass / sqlwriteLinks
SQLwrite: AI in your DBMS! Automatically converts natural language queries to SQL.
☆123Updated 3 weeks ago
Alternatives and similar repositories for sqlwrite
Users that are interested in sqlwrite are comparing it to the libraries listed below
Sorting:
- Open source scholarly literature search☆16Updated last year
- Synthesize CRDTs from classic data types with verified lifting!☆150Updated last year
- ☆20Updated last year
- Prototype compiler from SaneQL to SQL☆86Updated 2 years ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- egg is a flexible, high-performance e-graph library☆13Updated last year
- Programming Language for Continuous Deep Analytics☆47Updated 2 years ago
- Using Large Language Models for Repo-wide Type Prediction☆112Updated 2 years ago
- ☆88Updated 3 years ago
- This library provides an implementation of the DBSP language for incremental streaming computations.☆146Updated 2 months ago
- egraphs-good website☆18Updated last year
- An experiment in using DuckDB for a datalog / egg☆28Updated 2 years ago
- Diagrams as text tool for visualizing concurrent operation histories☆22Updated 10 months ago
- A MCP server for symbolic manipulation of mathematical expressions☆48Updated 6 months ago
- Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020☆76Updated last month
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆46Updated 3 years ago
- Transactional functions-as-a-service for database-oriented applications.☆156Updated 2 years ago
- CHR2 to SQL conversion☆15Updated 10 years ago
- A list of languages that compile to SQL☆70Updated 3 years ago
- DBOS file system using Voltdb☆19Updated 4 years ago
- Optimizing database queries with array programming☆20Updated 5 years ago
- ☆37Updated last month
- Standard ML interpreter, with relational extensions, implemented in Java☆42Updated this week
- A probabilistic approximate DNF counter☆39Updated last month
- Support for for students (Python)☆68Updated 2 months ago
- Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.☆58Updated last year
- A library for building efficient set-membership filters and dictionaries based on the Satisfiability problem.☆82Updated 3 years ago
- The fastest ACID-transactional persisted Key-Value store designed as modified LSM-Tree for NVMe block-devices with GPU-acceleration and S…☆77Updated 2 years ago
- Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.☆38Updated 2 weeks ago
- ☆19Updated 7 months ago