plasma-umass / sqlwriteLinks
SQLwrite: AI in your DBMS! Automatically converts natural language queries to SQL.
☆122Updated last year
Alternatives and similar repositories for sqlwrite
Users that are interested in sqlwrite are comparing it to the libraries listed below
Sorting:
- ☆20Updated last year
- egg is a flexible, high-performance e-graph library☆12Updated last year
- Synthesize CRDTs from classic data types with verified lifting!☆149Updated last year
- Programming Language for Continuous Deep Analytics☆47Updated 2 years ago
- Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020☆75Updated last month
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- Using Large Language Models for Repo-wide Type Prediction☆112Updated last year
- ☆37Updated this week
- Prototype compiler from SaneQL to SQL☆86Updated last year
- ☆83Updated last year
- Learn TLA+ for free! No prior experience necessary!☆227Updated 7 months ago
- Open source scholarly literature search☆16Updated last year
- Graphsignal Tracer for Python☆203Updated last month
- Rust bindings to GAP (Groups, Algorithms, Programming)☆28Updated 2 years ago
- Python interpreter for TLA+ specifications☆113Updated last year
- Standard ML interpreter, with relational extensions, implemented in Java☆41Updated last week
- a 64-bit histogram / quantile sketch☆59Updated 9 months ago
- A list of awesome resources and blogs on topics related to Unum☆42Updated last year
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- Implementing 20+ binary search trees to compare balancing strategies☆47Updated 2 months ago
- A little Delta Lake/Iceberg inspired database implementation in Go☆43Updated last year
- Optimizing database queries with array programming☆20Updated 5 years ago
- A general purpose relational language☆19Updated 5 years ago
- Prototype Mixed-consistency transaction implementation☆64Updated 7 years ago
- An experiment in using DuckDB for a datalog / egg☆27Updated 2 years ago
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆260Updated this week
- ☆18Updated 5 months ago
- Frame is new progrmming language for creating state machines (automata) in Python as well as generating UML documentation.☆69Updated last week
- This tool uses OpenCV to automatically synchronize slides with videos that show these slides.☆104Updated 4 years ago
- ☆84Updated 3 years ago