plasma-umass / sqlwriteLinks
SQLwrite: AI in your DBMS! Automatically converts natural language queries to SQL.
☆123Updated last year
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!☆149Updated last year
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- ☆20Updated last year
- egg is a flexible, high-performance e-graph library☆13Updated last year
- Prototype compiler from SaneQL to SQL☆86Updated last year
- An experiment in using DuckDB for a datalog / egg☆27Updated 2 years ago
- Like grep but with natural language queries☆50Updated last year
- A MCP server for symbolic manipulation of mathematical expressions☆44Updated 5 months ago
- A probabilistic approximate DNF counter☆39Updated last week
- Using Large Language Models for Repo-wide Type Prediction☆112Updated 2 years ago
- Optimizing database queries with array programming☆20Updated 5 years ago
- Programming Language for Continuous Deep Analytics☆47Updated 2 years ago
- Open source scholarly literature search☆16Updated last year
- Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020☆76Updated last week
- CHR2 to SQL conversion☆15Updated 10 years ago
- Transactional functions-as-a-service for database-oriented applications.☆156Updated 2 years ago
- ☆53Updated 3 months ago
- This library provides an implementation of the DBSP language for incremental streaming computations.☆143Updated last month
- Diagrams as text tool for visualizing concurrent operation histories☆22Updated 10 months ago
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆264Updated 3 weeks ago
- ☆19Updated 7 months ago
- egraphs-good website☆18Updated last year
- A list of awesome resources and blogs on topics related to Unum☆44Updated last month
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated 11 months ago
- A model context protocol server for solving combinatorial optimization problems with logical and numerical constraints.☆62Updated 5 months ago
- This tool uses OpenCV to automatically synchronize slides with videos that show these slides.☆105Updated 4 years ago
- Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.☆38Updated last week
- Graphsignal Tracer for Python☆204Updated 2 months ago
- The fastest ACID-transactional persisted Key-Value store designed as modified LSM-Tree for NVMe block-devices with GPU-acceleration and S…☆76Updated 2 years ago
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago