Alternatives and similar repositories for sqlwrite

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

• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆12Updated last year
• verse-lab / obatcher_ds
  ☆19Updated 10 months ago
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆148Updated last year
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆26Updated last year
• brurucy / materialized-view
  ☆18Updated 2 months ago
• penberg / librescholar
  Open source scholarly literature search
  ☆16Updated 9 months ago
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated 2 years ago
• cda-group / arc
  Programming Language for Continuous Deep Analytics
  ☆47Updated last year
• neumannt / saneql
  Prototype compiler from SaneQL to SQL
  ☆83Updated last year
• Cjen1 / consensus-tlaplus
  ☆11Updated 8 months ago
• tekknolagi / skybison
  A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…
  ☆44Updated last week
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆232Updated 2 weeks ago
• ElliotSwart / pragmaticformalmodeling
  An instructional website with progressively worked examples of TLA+ specifications and model checking.
  ☆45Updated 3 years ago
• AmrDeveloper / LLQL
  LLQL is a tool that allow you to run SQL-like query with Pattern matching functions inspired by LLVM InstCombine Pattern Matchers on LLVM…
  ☆55Updated 2 months ago
• suomela / da2020
  Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020
  ☆71Updated 7 months ago
• aqua-language / aqua
  A programming language for data stream analytics.
  ☆22Updated 5 months ago
• harp-lab / gdlog
  ☆82Updated 8 months ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 4 years ago
• brurucy / pydbsp
  This library provides an implementation of the DBSP language for incremental streaming computations.
  ☆130Updated 5 months ago
• GammaTauAI / opentau
  Using Large Language Models for Repo-wide Type Prediction
  ☆109Updated last year
• marsupialtail / rottnest
  Data lake indices
  ☆40Updated last month
• eeroel / hae
  Like grep but with natural language queries
  ☆50Updated last year
• LAC-Tech / interlog
  A local first persistent log
  ☆36Updated 3 weeks ago
• tidwall / bgen
  B-tree generator for C
  ☆138Updated 2 months ago
• Sable / HorsePower
  Optimizing database queries with array programming
  ☆18Updated 4 years ago
• pveentjer / Rust-based-ARM-emulator
  A bogus CPU emulator written in Rust.
  ☆52Updated 11 months ago
• trailofbits / differ
  Detecting Inconsistencies in Feature or Function Evaluations of Requirements
  ☆67Updated last year
• redixhumayun / dst
  ☆16Updated 7 months ago
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆37Updated 2 weeks ago
• skarupke / glibc_cv_tla_plus
  Reproducing a bug in the Glibc condition variables using TLA+
  ☆11Updated 2 years ago