😠⚔️😈 A minimalistic 2D turn-based tactical game in Rust
A tactical role-playing game demo for the Godot Engine
The continuation of the venerable JA2-Stracciatella project.
⬡ Zone of Control is a hexagonal turn-based strategy game written in Rus...
Automated Tactics Techniques & Procedures
Generate chess puzzles / tactics from a pgn file
GAPT: General Architecture for Proof Theory
A slow-paced introduction to reflection in Agda. ---Tactics!
Rainbow Six Siege map quick references
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (rel...
Weasel Turn Battle System
A Tactical Battle System for RPG Maker MV.
Tactic Metaprogramming in Haskell
Generate chess tactics from your own lichess games.
A TACtic library for Agda