Topic Hub
#tactics (4 Repositories)
Ranked open-source repositories tagged with #tactics, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
20.5%
Avg Review Latency
0.7h
Filter by language
4 repositories tagged #tactics
A TierC++ 529
ja2-stracciatella/ja2-stracciatella
The continuation of the venerable JA2-Stracciatella project.
82.0%
Merge Rate
3h
First Review
71%
1st-Timers
15
Maintainers
D TierScala 101
LS-Lab/KeYmaeraX-release
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers
D TierRust 393
ozkriff/zoc
⬡ Zone of Control is a hexagonal turn-based strategy game written in Rust. [DISCONTINUED]
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers
D TierScala 111
gapt/gapt
GAPT: General Architecture for Proof Theory
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers