Repository Issues

spacejam/tla-rust

writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+

GitHub で見る
Stars
 (1,063 個のスター)
Forks
 (26 件のフォーク)
Indexed issues
 (0 件の索引済み Issue)
open beginner issues
 (0 件のオープンな初心者向け Issue)
最終索引
2026/08/12
最終 GitHub push
2017/05/23
ライセンス
ライセンスデータはありません
コントリビューションガイド
コントリビューションガイドはありません
行動規範
行動規範はありません
主要言語
TLA
PR merge metrics
 (30d に merged PR はありません)
初心者向けラベル
索引済み初心者向けラベルはありません

Issue

0 件の索引済み Issue

このリポジトリには索引済み Issue がありません。