Alternatives and similar repositories for sqlwrite

Users that are interested in sqlwrite are comparing it to the libraries listed below

• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated 2 years ago
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆150Updated last year
• verse-lab / obatcher_ds
  ☆20Updated last year
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆27Updated 2 years ago
• penberg / librescholar
  Open source scholarly literature search
  ☆16Updated last year
• brurucy / pydbsp
  This library provides an implementation of the DBSP language for incremental streaming computations.
  ☆149Updated 3 weeks ago
• neumannt / saneql
  Prototype compiler from SaneQL to SQL
  ☆88Updated 2 years ago
• cda-group / arc
  Programming Language for Continuous Deep Analytics
  ☆47Updated 2 years ago
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆13Updated last year
• DBOS-project / apiary
  Transactional functions-as-a-service for database-oriented applications.
  ☆155Updated 2 years ago
• sdiehl / sympy-mcp
  A MCP server for symbolic manipulation of mathematical expressions
  ☆53Updated 7 months ago
• Sable / HorsePower
  Optimizing database queries with array programming
  ☆20Updated 5 years ago
• GammaTauAI / opentau
  Using Large Language Models for Repo-wide Type Prediction
  ☆114Updated 2 years ago
• ashvardanian / SmashTable
  If only std::set was a DBMS: collection of templated ACID in-memory exception-free thread-safe and concurrent containers in a header-only…
  ☆44Updated 3 months ago
• brurucy / materialized-view
  ☆19Updated 8 months ago
• alpha-convert / minikv
  A little KV store implementation in OCaml to practice DB systems things
  ☆33Updated 2 weeks ago
• NationalSecurityAgency / XORSATFilter
  A library for building efficient set-membership filters and dictionaries based on the Satisfiability problem.
  ☆83Updated 3 years ago
• unum-cloud / UDisk
  The fastest ACID-transactional persisted Key-Value store designed as modified LSM-Tree for NVMe block-devices with GPU-acceleration and S…
  ☆78Updated 2 years ago
• thisismiller / dbdiag
  Diagrams as text tool for visualizing concurrent operation histories
  ☆23Updated 11 months ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• suomela / da2020
  Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020
  ☆76Updated 2 months ago
• julianhyde / morel
  Standard ML interpreter, with relational extensions, implemented in Java
  ☆42Updated this week
• gravitational / rbac-linter
  ☆33Updated last year
• ragedb / ragedb
  In Memory Property Graph Server using a Shared Nothing design
  ☆45Updated 2 years ago
• intel / hdk
  A low-level execution library for analytic data processing.
  ☆32Updated last year
• google-research / raksha
  ☆37Updated 3 weeks ago
• tlaplus / PlusPy
  Python interpreter for TLA+ specifications
  ☆116Updated last year
• Cjen1 / consensus-tlaplus
  ☆11Updated last year
• tekknolagi / skybison
  A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…
  ☆51Updated 7 months ago
• ElliotSwart / pragmaticformalmodeling
  An instructional website with progressively worked examples of TLA+ specifications and model checking.
  ☆46Updated 3 years ago