spacejam/tla-rust
writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
License & maintenance
No license stated: by default nobody may reuse the code. Ask the authors before using it in a product.
Last code push 9 years ago.
Similar projects
| Repository | Stars | Activity | |
|---|---|---|---|
| 1 |  rust-lang/rustlings:crab: Small exercises to get you used to reading and writing Rust code! | ★ 64.4k | Active |
| 2 |  pola-rs/polarsExtremely fast Query Engine for DataFrames, written in Rust | ★ 40.1k | Active |
| 3 |  niri-wm/niriA scrollable-tiling Wayland compositor. | ★ 28.5k | Active |
| 4 |  uutils/coreutilsCross-platform Rust rewrite of the GNU coreutils | ★ 24.3k | Active |
| 5 |  gfx-rs/wgpuA cross-platform, safe, pure-Rust graphics API. | ★ 18.3k | Active |
| 6 |  phil-opp/blog_osWriting an OS in Rust | ★ 17.8k | Active |
| 7 |  996icu/996.ICURepo for counting stars and contributing. Press F to pay respect to glorious developers. | ★ 277.2k | Stale |
| 8 |  torvalds/linuxLinux kernel source tree | ★ 252.4k | Active |