Alternatives and similar repositories for sqlwrite

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

• verse-lab / obatcher_ds
  ☆20Updated last year
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆12Updated last year
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆149Updated last year
• cda-group / arc
  Programming Language for Continuous Deep Analytics
  ☆47Updated 2 years ago
• suomela / da2020
  Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020
  ☆75Updated last month
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated 2 years ago
• GammaTauAI / opentau
  Using Large Language Models for Repo-wide Type Prediction
  ☆112Updated last year
• google-research / raksha
  ☆37Updated this week
• neumannt / saneql
  Prototype compiler from SaneQL to SQL
  ☆86Updated last year
• harp-lab / gdlog
  ☆83Updated last year
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆227Updated 7 months ago
• penberg / librescholar
  Open source scholarly literature search
  ☆16Updated last year
• graphsignal / graphsignal-python
  Graphsignal Tracer for Python
  ☆203Updated last month
• symbolica-ai / gap-sys
  Rust bindings to GAP (Groups, Algorithms, Programming)
  ☆28Updated 2 years ago
• tlaplus / PlusPy
  Python interpreter for TLA+ specifications
  ☆113Updated last year
• julianhyde / morel
  Standard ML interpreter, with relational extensions, implemented in Java
  ☆41Updated last week
• fanf2 / hg64
  a 64-bit histogram / quantile sketch
  ☆59Updated 9 months ago
• unum-cloud / awesome
  A list of awesome resources and blogs on topics related to Unum
  ☆42Updated last year
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆81Updated 4 years ago
• rtheunissen / bst
  Implementing 20+ binary search trees to compare balancing strategies
  ☆47Updated 2 months ago
• eatonphil / otf
  A little Delta Lake/Iceberg inspired database implementation in Go
  ☆43Updated last year
• Sable / HorsePower
  Optimizing database queries with array programming
  ☆20Updated 5 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• mpmilano / MixT
  Prototype Mixed-consistency transaction implementation
  ☆64Updated 7 years ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆27Updated 2 years ago
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆260Updated this week
• brurucy / materialized-view
  ☆18Updated 5 months ago
• frame-lang / frame_transpiler
  Frame is new progrmming language for creating state machines (automata) in Python as well as generating UML documentation.
  ☆69Updated last week
• hediet / slideo
  This tool uses OpenCV to automatically synchronize slides with videos that show these slides.
  ☆104Updated 4 years ago
• pdm-book / community
  ☆84Updated 3 years ago