tactics
There are 75 repositories under tactics topic.
ozkriff/zemeroth
😠⚔️😈 A minimalistic 2D turn-based tactical game in Rust
ramaureirac/godot-tactical-rpg
A tactical role-playing game demo for the Godot Engine
ja2-stracciatella/ja2-stracciatella
The continuation of the venerable JA2-Stracciatella project.
ozkriff/zoc
⬡ Zone of Control is a hexagonal turn-based strategy game written in Rust. [DISCONTINUED]
jymcheong/AutoTTP
Automated Tactics Techniques & Procedures
mthcht/Purpleteam
Purpleteam scripts simulation & Detection - trigger events for SOC detections
vitogit/pgn-tactics-generator
Generate chess puzzles / tactics from a pgn file
gapt/gapt
GAPT: General Architecture for Proof Theory
alhassy/gentle-intro-to-reflection
A slow-paced introduction to reflection in Agda. ---Tactics!
capajon/r6maps
Rainbow Six Siege map quick references
LS-Lab/KeYmaeraX-release
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
Trisfald/weasel
Weasel Turn Battle System
belmoussaoui/Tactics-System
A Tactical Battle System for RPG Maker MV.
TOTBWF/tactic-haskell
Tactic Metaprogramming in Haskell
vitogit/lichess-tactics-generator
Generate chess tactics from your own lichess games.
jespercockx/ataca
A TACtic library for Agda
umitkaanusta/Jomini
Historical battle simulation package for Python
nsacyber/Chinese-State-Sponsored-Cyber-Operations-Observed-TTPs
Supporting files for the Chinese State-Sponsored Cyber Operations: Observed TTPs Cybersecurity Advisory. #nsacyber
ninpl/TacticTurnBased
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.
semibran/tactics
:crossed_swords: minimalistic tactical rpg
JeffersonBC/TacticsKitUnity3D
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/
L-TChen/MtacAR
Mtac in Agda
InFinity54/TFT_DDragon
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.
uwplse/StructTact
Coq utility and tactic library.
jdevuyst/rekenaar
Idris tactics for (commutative) monoids
Matafou/LibHyps
A Coq library providing tactics to deal with hypothesis
RedPRL/sml-dependent-lcf
A library for the next generation of LCF refiners, with support for dependent refinement—Long Live the Anti-Realist Struggle!
Scrut1ny/Law-Enforcement-Guide
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.
alhassy/CoqCheatSheet
Reference sheet for the Coq language.
JH1ller/csgo-stratbook
Web & Desktop App to collaboratively manage csgo team playbook
rsvp/chess
Chess :: Maxims and Tools. Open-source insights shared via quotes and software.
tchajed/coq-tactical
Library of Coq proof automation
Seasawher/mathlib4-tactics
List of the output of #help command of mathlib4.
gmalecha/coq-smt-check
Invoke SMT solvers from Coq to check obligations
thery/PolTac
Tactic for polynomial manipulations
tacticalboard/tacticalboard
🥅 A tactical board on your device for badminton, soccer, and basketball.