Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Tla Plus

Stars
275
License
apache-2.0
Open Issues
7
Most Recent Commit
8 months ago
Programming Language
TLA
Categories
Repo
Alternatives To Tla Plus
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Tla Plus275
8 months ago7apache-2.0TLA
Degitx27
2 years ago50mitTeX
Distributed git repository manager
Alternatives To Tla Plus
Select To Compare
Tla Plus ⭐ 275
most recent commit 8 months ago


Suggest An Alternative To tla-plus
Alternative Project Comparisons
Tla Plus vs Degitx
Popular Verify Projects
Immudb ⭐ 8,416
immudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data change history
dependent packages 21total releases 139latest release October 16, 2023most recent commit 3 months ago
Gitoxide ⭐ 7,537
An idiomatic, lean, fast & safe pure Rust implementation of Git
dependent packages 45total releases 35latest release December 06, 2023most recent commit 3 months agocargo gix} Downloads
Jose ⭐ 4,373
JWA, JWS, JWE, JWT, JWK, JWKS for Node.js, Browser, Cloudflare Workers, Deno, Bun, and other Web-interoperable runtimes.
dependent packages 1,092total releases 186latest release November 30, 2023most recent commit 3 months agonpm jose} Downloads
Gitpython ⭐ 4,261
GitPython is a python library used to interact with Git repositories.
dependent packages 2,895total releases 94latest release October 18, 2023most recent commit 3 months agopypi GitPython} Downloads
Popular Distributed Systems Projects
Etcd ⭐ 46,290
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 a day ago
Dubbo ⭐ 39,966
The java implementation of Apache Dubbo. An RPC and microservice framework.
dependent packages 173total releases 59latest release December 29, 2021most recent commit 10 days ago
Spacedrive ⭐ 27,856
Spacedrive is an open source cross-platform file explorer, powered by a virtual distributed filesystem written in Rust.
dependent packages 2total releases 2latest release June 22, 2022most recent commit 3 months agonpm asdjhojoiasd} Downloads
Popular Libraries Categories
Plugin
Sdk
Bindings
Driver
Date
Adapter
Time
Location
Bridge
Wordpress Plugin
Related Searches
Consensus Raft
Distributed Systems Raft
Consensus Distributed Systems
Raft Tidb
Consensus Tla
Raft Tla
Distributed Systems Tla
Verify Consensus
Verify Distributed Systems
Consensus Tidb

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Verify
Distributed Systems
Consensus
Raft
Tidb
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.