Alternatives and similar repositories for sqlwrite

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

• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆150Updated last year
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated 2 years ago
• penberg / librescholar
  Open source scholarly literature search
  ☆16Updated last year
• neumannt / saneql
  Prototype compiler from SaneQL to SQL
  ☆87Updated 2 years ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆27Updated 2 years ago
• GammaTauAI / opentau
  Using Large Language Models for Repo-wide Type Prediction
  ☆114Updated 2 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…
  ☆77Updated 2 years ago
• verse-lab / obatcher_ds
  ☆20Updated last year
• brurucy / materialized-view
  ☆19Updated 8 months ago
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆276Updated this week
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆13Updated last year
• brurucy / pydbsp
  This library provides an implementation of the DBSP language for incremental streaming computations.
  ☆147Updated 2 weeks ago
• ElliotSwart / pragmaticformalmodeling
  An instructional website with progressively worked examples of TLA+ specifications and model checking.
  ☆46Updated 3 years ago
• jandrewrogers / RotoHash
  RotoHash: Hashing for High-Bandwidth Data
  ☆21Updated 9 months ago
• julianhyde / morel
  Standard ML interpreter, with relational extensions, implemented in Java
  ☆42Updated this week
• suomela / da2020
  Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020
  ☆76Updated last month
• Sable / HorsePower
  Optimizing database queries with array programming
  ☆20Updated 5 years ago
• langston-barrett / duckalog
  Datalog engine based on DuckDB
  ☆10Updated 2 years ago
• DBOS-project / apiary
  Transactional functions-as-a-service for database-oriented applications.
  ☆155Updated 2 years ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆15Updated 10 years ago
• google-research / raksha
  ☆37Updated 2 weeks ago
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆18Updated last year
• LAC-Tech / interlog
  A local first persistent log
  ☆36Updated 4 months ago
• cda-group / arc
  Programming Language for Continuous Deep Analytics
  ☆47Updated 2 years ago
• NationalSecurityAgency / XORSATFilter
  A library for building efficient set-membership filters and dictionaries based on the Satisfiability problem.
  ☆83Updated 3 years ago
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆100Updated 4 years ago
• harp-lab / gdlog
  ☆87Updated last year
• serge-sans-paille / i8mm
  Various implementation of byte matrix multiplication
  ☆26Updated last year
• thisismiller / dbdiag
  Diagrams as text tool for visualizing concurrent operation histories
  ☆23Updated 11 months ago
• antithesishq / glitch-grid
  Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.
  ☆39Updated last month