antithesishq / glitch-gridView external linksLinks
Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.
☆39Dec 22, 2025Updated last month
Alternatives and similar repositories for glitch-grid
Users that are interested in glitch-grid are comparing it to the libraries listed below
Sorting:
- An LSM database turned a CRDT database. Really fast counters!☆16Jan 16, 2025Updated last year
- [WIP] Open-source alternative to Antithesis.☆22Jul 13, 2024Updated last year
- Jepsen and Elle based Consistency Checking Interface☆20Feb 3, 2022Updated 4 years ago
- Durable Promise Specification☆92Apr 3, 2025Updated 10 months ago
- Phone to Desktop opensource project☆20Aug 7, 2017Updated 8 years ago
- A set of generic scripts that make life a bit easier when working with docker and DNS (and VPN)☆23Nov 18, 2014Updated 11 years ago
- Charter, TSC, and other governance documents.☆15Mar 13, 2024Updated last year
- Plan✕ is a platform for creating and publishing digital planning services☆17Updated this week
- Erlang API for FoundationDB☆34Apr 12, 2024Updated last year
- ☆14Aug 20, 2025Updated 5 months ago
- Transform messy HTML from Google Docs into well-structured HTML!☆13Jul 10, 2025Updated 7 months ago
- A verified permissioned centralized Blockchain for Isabelle/HOL☆11Feb 3, 2018Updated 8 years ago
- DEFT-FUNNEL: An open-source global optimization solver for constrained grey-box and black-box problems in Matlab.☆11Jun 29, 2021Updated 4 years ago
- The codebase contains the implementation for the paper "An asset subset-constrained minimax optimization framework for online portfolio s…☆11Dec 3, 2024Updated last year
- ☆11Aug 10, 2022Updated 3 years ago
- Geo-Distributed Infrastructure Emulation using Traffic Shaping☆12Jan 30, 2018Updated 8 years ago
- Direct transcription of an optimal control problem and resolution☆12Updated this week
- EmotionCircuits-LLM: A complete, reproducible framework for discovering and controlling emotion circuits in large language models.☆25Oct 20, 2025Updated 3 months ago
- The RelationalAI command line interface☆12Mar 18, 2025Updated 10 months ago
- Spatial search using Elastic Search☆12Dec 27, 2014Updated 11 years ago
- Machine Learning for Mathematical Formalization☆11Jul 20, 2024Updated last year
- ☆15Sep 7, 2025Updated 5 months ago
- Summoner's core SDK for building and deploying agents☆13Feb 4, 2026Updated last week
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆278Updated this week
- Combining smooth constraint for building DAG with normalizing flow in order to replace autoregressive transformations while keeping tract…☆47Sep 21, 2023Updated 2 years ago
- ☆14Jul 27, 2024Updated last year
- Public code release for the paper "Reawakening knowledge: Anticipatory recovery from catastrophic interference via structured training"☆11Oct 27, 2025Updated 3 months ago
- Using the wavefunction collapse algorithm to generate random maps with BSicons from Wikipedia☆11Jun 26, 2020Updated 5 years ago
- Making some sort of finance tool while live coding☆13Feb 22, 2023Updated 2 years ago
- ☆10Nov 6, 2024Updated last year
- Implementation of Haskell CRDTs (Commutative Replicated Data Types)☆13Mar 5, 2012Updated 13 years ago
- Modern GIS Web Client for JavaScript, based on MapboxGL-JS, OpenLayers, Leaflet☆14Sep 16, 2022Updated 3 years ago
- A Nix flake providing a Datomic Pro package and NixOS module☆19Feb 3, 2026Updated last week
- Combinator methods for `std::AsyncIterator` using all the new `async` superpowers☆10Feb 15, 2024Updated 2 years ago
- RANS: Library & Tools, Implementation of ANS on a regular language☆32Feb 2, 2014Updated 12 years ago
- A tutorial that explains how to build a simple distributed fault-tolerant framework on top of Mesos☆47Oct 4, 2022Updated 3 years ago
- Render Terraform's Expressions and Functions locally without any hassle.☆10Jan 14, 2024Updated 2 years ago
- Eltanin system programming library☆17Feb 24, 2025Updated 11 months ago
- ☆11Feb 22, 2025Updated 11 months ago