There are 3 repositories under tactics topic.
A tactical role-playing game demo for the Godot Engine
The continuation of the venerable JA2-Stracciatella project.
Purpleteam scripts simulation & Detection - trigger events for SOC detections
Generate chess puzzles / tactics from a pgn file
A slow-paced introduction to reflection in Agda. ---Tactics!
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
A Tactical Battle System for RPG Maker MV.
Generate chess tactics from your own lichess games.
Historical battle simulation package for Python
Prototipo inicial de un juego tactico. Este proyecto solo alberga unos pocos assets con licencia free y el core de un sistema de combate tactico por turnos.
Supporting files for the Chinese State-Sponsored Cyber Operations: Observed TTPs Cybersecurity Advisory. #nsacyber
Unity 3D project that allows to easilly setup a "tactics" game (like Fire Emblem or Final Fantasy Tactics). Demo avaliable at https://jeffersonbc.github.io/TacticsKitUnity3D/
Files from Teamfight Tactics to use in your projects, distributed by Riot Games. Contains some old and new files. Check README for details about repository updates.
A library for the next generation of LCF refiners, with support for dependent refinement—Long Live the Anti-Realist Struggle!
Web & Desktop App to collaboratively manage csgo team playbook
This informative guide offers essential tips to avoid legal trouble with law enforcement by educating readers on their rights and ways to circumvent unnecessary prosecution.
Documents (TeX, slides, poster etc.) for my master's thesis, titled "Edit-Time Tactics in Idris", and the TyDe '18 paper, titled "Extensible Type-Directed Editing"
Wiki to collect Red Team infrastructure hardening resources