Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Mongo Repl Tla

TLA+ Spec of a simplified part of MongoDB replication system
Stars
29
License
No license specified
Open Issues
0
Most Recent Commit
5 years ago
Programming Language
TLA
Categories
Repo
Suggest An Alternative To mongo-repl-tla
Popular Mongodb Projects
Strapi ⭐ 58,534
🚀 Strapi is the leading open-source headless CMS. It’s 100% JavaScript/TypeScript, fully customizable and developer-first.
dependent packages 320total releases 678latest release December 08, 2023most recent commit 5 months agonpm @strapi/helper-plugin} Downloads
Meteor ⭐ 43,960
Meteor, the JavaScript App Platform
dependent packages 69total releases 33latest release November 29, 2023most recent commit 5 months agonpm meteor-node-stubs} Downloads
Prisma ⭐ 37,535
Next-generation ORM for Node.js & TypeScript | PostgreSQL, MySQL, MariaDB, SQL Server, SQLite, MongoDB and CockroachDB
dependent packages 442total releases 4,993latest release September 24, 2022most recent commit a month agonpm @prisma/client} Downloads
Popular Raft Projects
Etcd ⭐ 46,778
Distributed reliable key-value store for the most critical data of a distributed system
dependent packages 2,948total releases 403latest release December 07, 2023most recent commit 11 hours ago
Rqlite ⭐ 14,492
The lightweight, distributed relational database built on SQLite
dependent packages 3total releases 42latest release April 14, 2021most recent commit 5 months ago
Popular Data Storage Categories
Database
Mysql
Redis
Mongodb
Postgresql
Firebase
Elasticsearch
Backup
Sqlite
Archive

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Mongodb
Raft
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.