TLC models for the MongoDB Replication TLA+ specification.
☆21Nov 3, 2020Updated 5 years ago
Alternatives and similar repositories for mongo-repl-tla-models
Users that are interested in mongo-repl-tla-models are comparing it to the libraries listed below
Sorting:
- Robust and strongly consistent hybrid cloud storage library☆14Nov 24, 2016Updated 9 years ago
- A formal specification of snapshot isolation.☆20Jul 17, 2025Updated 7 months ago
- Specula: A framework for finding deep bugs in system code using TLA+☆94Updated this week
- A very memory-efficient trie (radix tree) implementation☆48Jun 25, 2012Updated 13 years ago
- What you really need to know about Vim motions when starting to learn them.☆17Jul 31, 2024Updated last year
- TLA+ snippets, operators, and modules contributed and curated by the TLA+ community☆305Feb 26, 2026Updated last week
- spring-boot with neo4j to build a simple social system☆11Apr 1, 2019Updated 6 years ago
- Parser of ssh public and private keys☆12Apr 7, 2020Updated 5 years ago
- Logitech keyboard wake and FN swap udev rules☆10Mar 14, 2022Updated 3 years ago
- Notes on Algebra and Recursive Data Types☆10Oct 7, 2011Updated 14 years ago
- A Python Snowpark CLI for loading the TPC-DI dataset into Snowflake. Additional dbt models for building the data warehouse.☆10Sep 4, 2025Updated 6 months ago
- A Go package which exposes health check results as expvars.☆15Jul 2, 2014Updated 11 years ago
- ☆11Jan 9, 2018Updated 8 years ago
- create informational boxes in the terminal☆14Nov 16, 2022Updated 3 years ago
- An implementation of the W3C Selectors Level 3 specification In Scala.☆23Jul 7, 2012Updated 13 years ago
- Lightweight RNG specification and several ultrafast implementations in Rust.☆15Dec 15, 2022Updated 3 years ago
- Package addrs provides flags to define one or an array of net.Addr.☆15Mar 23, 2016Updated 9 years ago
- Meetup Engineering Principles, Practices, Architecture, and Defaults☆10Jun 25, 2019Updated 6 years ago
- Java implementation of immutable key-value storage based on sorted string table☆12Jun 26, 2015Updated 10 years ago
- Convert HTML to PDF using WebKit (wkhtmltopdf)☆16Feb 17, 2021Updated 5 years ago
- Extractor for Apple Aperture™ libraries. - Written in Rust☆14Jan 11, 2026Updated last month
- A Go utility and library to sign and verify files using AWS’s Key Management Service.☆10Apr 30, 2015Updated 10 years ago
- This repo contains the source code for https://pest.rs☆13Feb 1, 2026Updated last month
- Serverless endpoints calling Cognitive Services APIs☆15Jun 5, 2021Updated 4 years ago
- Azure Cosmos TLA+ specifications☆292Dec 14, 2023Updated 2 years ago
- Reading the linearizability paper with TLA+☆51Apr 24, 2022Updated 3 years ago
- my website built using Rust (stdweb) → .wasm☆13Updated this week
- A libpcap-based network activity visualizer / playground for learning d3 and Rust.☆17Mar 6, 2019Updated 7 years ago
- Experimental gRPC API for Envoy based on Rust and envoy-api☆14Sep 14, 2021Updated 4 years ago
- Replicache Diff Server☆14Mar 8, 2021Updated 4 years ago
- Prune crate dependencies in "target" folder☆17Apr 19, 2025Updated 10 months ago
- Automatic performance regression tests for Rust code☆16Jan 27, 2020Updated 6 years ago
- A Rust implementation of the Lamport one-time signature scheme☆15Nov 30, 2022Updated 3 years ago
- Encode / decode varints.☆14May 24, 2021Updated 4 years ago
- Rust Hacks Community Repo☆14Feb 8, 2019Updated 7 years ago
- Recurrent neural network to split code snippets from text.☆12Dec 10, 2018Updated 7 years ago
- CommonJS Module Packager for ASP.NET☆16Apr 18, 2011Updated 14 years ago
- Codec tools for the twitter mux protocol☆12Apr 21, 2016Updated 9 years ago
- Utility functions to get field values from the abstract syntax tree generated from ZON (Zig Object Notation) text using Zig stdlib☆13Feb 5, 2025Updated last year