Alternatives and similar repositories for sqlwrite

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

• verse-lab / obatcher_ds
  ☆19Updated 9 months ago
• ElliotSwart / pragmaticformalmodeling
  An instructional website with progressively worked examples of TLA+ specifications and model checking.
  ☆45Updated 2 years ago
• neumannt / saneql
  Prototype compiler from SaneQL to SQL
  ☆82Updated last year
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆12Updated last year
• Cjen1 / consensus-tlaplus
  ☆11Updated 8 months ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆26Updated last year
• DBOS-project / dbos-scheduler
  ☆28Updated 4 years ago
• thisismiller / dbdiag
  Diagrams as text tool for visualizing concurrent operation histories
  ☆21Updated 4 months ago
• julianhyde / morel
  Standard ML interpreter, with relational extensions, implemented in Java
  ☆39Updated this week
• DBOS-project / fs
  DBOS file system using Voltdb
  ☆19Updated 4 years ago
• harp-lab / gdlog
  ☆82Updated 8 months ago
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆148Updated last year
• stanford-futuredata / Uniserve
  A runtime implementation of data-parallel actors.
  ☆38Updated 3 years ago
• LAC-Tech / interlog
  A local first persistent log
  ☆36Updated last week
• gravitational / rbac-linter
  ☆29Updated last year
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆17Updated 8 months ago
• trailofbits / differ
  Detecting Inconsistencies in Feature or Function Evaluations of Requirements
  ☆67Updated last year
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated 2 years ago
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆230Updated 2 weeks 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 last month
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆98Updated 3 years ago
• langston-barrett / duckalog
  Datalog engine based on DuckDB
  ☆10Updated 2 years ago
• pcholakov / p-promises
  A P model of durable Promises
  ☆14Updated last year
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆23Updated 6 months ago
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆20Updated 8 months ago
• aqua-language / aqua
  A programming language for data stream analytics.
  ☆21Updated 5 months ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆51Updated 6 months ago
• pveentjer / Rust-based-ARM-emulator
  A bogus CPU emulator written in Rust.
  ☆52Updated 10 months ago
• informalsystems / tla-apalache-workshop
  Material for a workshop on Apalache and TLA+. To be populated with more examples.
  ☆22Updated 2 years ago
• eliben / radgrad
  Tracing-based reverse mode automatic differentiation (like autograd!)
  ☆19Updated 4 months ago