Alternatives and similar repositories for antithesis-trigger-action

Users that are interested in antithesis-trigger-action are comparing it to the libraries listed below

• antithesishq / glitch-grid
  Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.
  ☆38Updated last month
• flavio / hermit-wasm
  A Unikernel running WebAssembly code
  ☆51Updated 2 years ago
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆148Updated last year
• janderland / fql
  Foundation DB Query Language
  ☆146Updated last week
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated 2 years ago
• frankmcsherry / datatoad
  An interactive Datalog
  ☆50Updated last week
• scality / elmerfs
  ☆102Updated 3 years ago
• axiomhq / zig-hyperloglog
  Zig library for HyperLogLog estimation
  ☆89Updated last year
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆74Updated 2 years ago
• ocurrent / obuilder
  Experimental "docker build" alternative using btrfs/zfs snapshots
  ☆62Updated last month
• triblespace / tribles-rust
  ☆32Updated this week
• trealla-prolog / go
  Trealla Prolog embedded in Go using WASM
  ☆80Updated 2 weeks ago
• oxidecomputer / cockroachdb-exploration
  notes, config, tools, etc. for kicking the tires on cockroachdb
  ☆11Updated 5 months ago
• dkellner / chronofold
  Chronofold is a conflict-free replicated data structure (a.k.a. CRDT) for versioned text.
  ☆93Updated 3 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• wootfish / theseus.dht
  A distributed hash table with unusually strong security properties
  ☆64Updated 5 years ago
• reitzensteinm / temper
  Deterministic simulation of concurrency and failure in distributed systems
  ☆39Updated 4 months ago
• FoundationDB / fdb-joshua
  FoundationDB Correctness service
  ☆32Updated 2 months ago
• zaphar / ucg
  A Universal Configuration Grammar
  ☆37Updated 2 months ago
• libsql / bottomless
  ☆34Updated 2 years ago
• sqrl-lang / sqrl
  A safe, stateful rules language for event streams
  ☆114Updated 2 years ago
• rocicorp / repc
  The canonical Replicache client, implemented in Rust.
  ☆30Updated 4 years ago
• kellabyte / holocron
  Holocron is an object storage based leader election library.
  ☆129Updated 11 months ago
• LutrisEng / datom-rs
  An open-source database inspired by Datomic
  ☆31Updated last year
• authzed / zanzibar-annotated
  Google's Zanzibar paper annotated for folks outside of Google
  ☆82Updated this week
• braid-org / braid-spec
  Working area for Braid extensions to HTTP
  ☆252Updated 10 months ago
• xnacly / sqleibniz
  SQL Language server and cli
  ☆86Updated last week
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆24Updated 9 months ago
• fabianlindfors / pgfdb
  Postgres made distributed using FoundationDB
  ☆205Updated 4 months ago
• jonhoo / trawler
  Workload generator that emulates the traffic pattern of lobste.rs
  ☆71Updated 4 years ago