Awesome Open Source

Programming Languages

Raft.tla vs Klein

	Raft.tla	Klein
Stars	217	151
Downloads
Dependent Packages
Dependent Repos
Most Recent Commit	4 years ago	5 months ago
Total Releases		2
Latest Release		February 24, 2023
Open Issues	3	6
License		apache-2.0
Programming Language	TLA	Java

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.