antithesishq / antithesis-trigger-actionLinks
A GitHub Action to trigger an Antithesis test suite.
☆11Updated last week
Alternatives and similar repositories for antithesis-trigger-action
Users that are interested in antithesis-trigger-action are comparing it to the libraries listed below
Sorting:
- Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.☆38Updated last week
- An interactive Datalog☆57Updated this week
- A Unikernel running WebAssembly code☆52Updated 2 years ago
- Synthesize CRDTs from classic data types with verified lifting!☆149Updated last year
- ☆104Updated 3 years ago
- Foundation DB Query Language☆147Updated this week
- Zig library for HyperLogLog estimation☆91Updated last year
- Generate (message) sequence diagrams from TLA+ state traces☆74Updated 2 years ago
- A distributed hash table with unusually strong security properties☆64Updated 6 years ago
- An open-source database inspired by Datomic☆31Updated 2 years ago
- Chronofold is a conflict-free replicated data structure (a.k.a. CRDT) for versioned text.☆94Updated 3 years ago
- a build tool -- based on "hashes go in, hashes come out" and hermetic, containerized environments for every step.☆45Updated 2 years ago
- ☆32Updated this week
- A content-addressable datastore for WebAssembly modules☆58Updated last year
- DriftDB - An experimental append-only database with built-in time travel. Query any point in history, guaranteed data integrity, and immu…☆132Updated last month
- ☆16Updated last year
- Trealla Prolog embedded in Go using WASM☆80Updated 3 months ago
- PostgreSQL Prolog language handler☆135Updated last year
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- Manage secret values in-repo via public key cryptography☆92Updated last year
- Rust SDK for S2☆42Updated last month
- Macro-based string templating.☆24Updated 2 months ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated 11 months ago
- ☆11Updated 2 years ago
- Antithesis SDK for Rust☆28Updated 2 months ago
- This library provides an implementation of the DBSP language for incremental streaming computations.☆143Updated last month
- Google's Zanzibar paper annotated for folks outside of Google☆84Updated 2 weeks ago
- progscrape.com source☆96Updated 3 months ago
- A safe, stateful rules language for event streams☆114Updated 2 years ago
- A description of the relationship between databases, collaboration and Kripke☆28Updated 4 years ago