GitHub topics: tactics
martinstarman/rtte
2D isometric real time tactics game engine written in Rust using Bevy Engine.
Language: Rust - Size: 2.94 MB - Last synced at: about 9 hours ago - Pushed at: about 9 hours ago - Stars: 1 - Forks: 0
thery/PolTac
Tactic for polynomial manipulations
Language: Coq - Size: 148 KB - Last synced at: about 18 hours ago - Pushed at: about 20 hours ago - Stars: 10 - Forks: 1
ozkriff/zemeroth
😠⚔️😈 A minimalistic 2D turn-based tactical game in Rust
Language: Rust - Size: 2.25 MB - Last synced at: about 8 hours ago - Pushed at: about 1 year ago - Stars: 1,431 - Forks: 91
theshaggydev/unto-deepest-depths-prototype
This is early prototype code for the core game loop of Unto Deepest Depths, provided as a learning example on how I structure turn-based games in Godot 4.
Language: GDScript - Size: 28.3 KB - Last synced at: 2 days ago - Pushed at: 8 months ago - Stars: 130 - Forks: 13
ozkriff/zoc
⬡ Zone of Control is a hexagonal turn-based strategy game written in Rust. [DISCONTINUED]
Language: Rust - Size: 2.2 MB - Last synced at: about 16 hours ago - Pushed at: over 5 years ago - Stars: 381 - Forks: 29
ja2-stracciatella/ja2-stracciatella
The continuation of the venerable JA2-Stracciatella project.
Language: C++ - Size: 91.7 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 471 - Forks: 79
CodVictor/Game-ShadowClash
ShadowClash Un juego de lucha táctica en un mundo de fantasía oscura, donde criaturas legendarias 🐉 se enfrentan en duelos estratégicos. Domina habilidades únicas, equípate con poderosos artefactos y conquista la sombra.
Language: Java - Size: 0 Bytes - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 0 - Forks: 0
mthcht/Purpleteam
Purpleteam scripts simulation & Detection - trigger events for SOC detections
Language: PowerShell - Size: 39.5 MB - Last synced at: 10 days ago - Pushed at: 5 months ago - Stars: 185 - Forks: 19
ionathanch/MutualInduction
An experimental mutual induction tactic for Lean 4.
Language: Lean - Size: 178 KB - Last synced at: 1 day ago - Pushed at: 23 days ago - Stars: 8 - Forks: 0
Trisfald/weasel
Weasel Turn Battle System
Language: Rust - Size: 582 KB - Last synced at: 7 days ago - Pushed at: over 4 years ago - Stars: 63 - Forks: 4
ramaureirac/godot-tactical-rpg
A tactical role-playing game demo for the Godot Engine
Language: GDScript - Size: 76.4 MB - Last synced at: about 1 month ago - Pushed at: 9 months ago - Stars: 744 - Forks: 83
uwplse/StructTact
Coq utility and tactic library.
Language: Coq - Size: 275 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 23 - Forks: 8
null-none/tactics-drawer
Tactics Drawer
Language: Python - Size: 40 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0
alhassy/gentle-intro-to-reflection
A slow-paced introduction to reflection in Agda. ---Tactics!
Language: Agda - Size: 57.6 KB - Last synced at: 21 days ago - Pushed at: almost 3 years ago - Stars: 101 - Forks: 9
Matafou/LibHyps
A Coq library providing tactics to deal with hypothesis
Language: Coq - Size: 216 KB - Last synced at: 1 day ago - Pushed at: 5 months ago - Stars: 21 - Forks: 3
GrahamStrickland/math_lean
Examples and exercises from "Mathematics in Lean" - Jeremy Avigad & Patrick Massot
Language: Lean - Size: 16.6 KB - Last synced at: about 1 month ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0
maksym-bortin/synthesis
Structured development of implementations for divide-and-conquer specifications
Language: Isabelle - Size: 111 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0
jymcheong/AutoTTP
Automated Tactics Techniques & Procedures
Language: Python - Size: 9.51 MB - Last synced at: about 2 months ago - Pushed at: almost 2 years ago - Stars: 253 - Forks: 63
dzremre/ageofempires
A guide with all the civilizations and build orders related to the Age of Empires.
Size: 91.8 KB - Last synced at: 2 days ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0
semibran/tactics
:crossed_swords: minimalistic tactical rpg
Language: JavaScript - Size: 2.85 MB - Last synced at: about 1 month ago - Pushed at: over 6 years ago - Stars: 31 - Forks: 6
gapt/gapt
GAPT: General Architecture for Proof Theory
Language: Scala - Size: 182 MB - Last synced at: 23 days ago - Pushed at: about 1 month ago - Stars: 98 - Forks: 18
coexistence-conservation-lab/eastern-quoll-trials-and-tactics
Adapting reintroduction tactics in successive trials increases the likelihood of establishment for an endangered carnivore in a fenced sanctuary.
Language: R - Size: 599 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
przem360/ascii-fantasy-tactics
Text adventure game with tactics battle
Language: C - Size: 940 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 1
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/
Language: C# - Size: 25.5 MB - Last synced at: 20 days ago - Pushed at: about 7 years ago - Stars: 30 - Forks: 4
TOTBWF/tactic-haskell
Tactic Metaprogramming in Haskell
Language: Haskell - Size: 150 KB - Last synced at: about 1 month ago - Pushed at: almost 6 years ago - Stars: 56 - Forks: 0
tchajed/coq-tactical
Library of Coq proof automation
Language: Coq - Size: 39.1 KB - Last synced at: about 1 month ago - Pushed at: about 3 years ago - Stars: 16 - Forks: 2
rgleason/dashboard_tactics_pi
OpenCPN dashboard built-in plugin merger with external tactics_pi plugin
Language: C++ - Size: 187 MB - Last synced at: about 1 month ago - Pushed at: 4 months ago - Stars: 7 - Forks: 10
umitkaanusta/Jomini
Historical battle simulation package for Python
Language: Python - Size: 36.1 KB - Last synced at: 15 days ago - Pushed at: over 4 years ago - Stars: 46 - Forks: 4
kmataru/kartwars.io-bot
:car: Intelligent self-control and fighting system of karts in the Kartwars.io multiplayer game.
Language: JavaScript - Size: 3.76 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 5 - Forks: 1
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.
Language: C# - Size: 13.1 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 35 - Forks: 21
sourceduty/Military
🪖 International armed forces in different branches of militaries.
Size: 56.6 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
Ladzislaf/tic-tac-tactics
Tic-tac-toe game with tactical additions
Language: TypeScript - Size: 177 KB - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
jespercockx/ataca
A TACtic library for Agda
Language: Agda - Size: 48.8 KB - Last synced at: about 2 months ago - Pushed at: 8 months ago - Stars: 48 - Forks: 4
rsvp/chess
Chess :: Maxims and Tools. Open-source insights shared via quotes and software.
Language: Jupyter Notebook - Size: 113 KB - Last synced at: about 1 month ago - Pushed at: over 6 years ago - Stars: 15 - Forks: 6
LS-Lab/KeYmaeraX-release
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
Language: Scala - Size: 260 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 75 - Forks: 37
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.
Size: 369 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 16 - Forks: 1
mikyll/TablutTactics
Applicazione grafica per facilitare la comprensione delle meccaniche di gioco e l'ideazione di strategie di Ashton Tablut
Language: C - Size: 56.5 MB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 4 - Forks: 0
EvilBytecode/Bloxstrap-Persistance
Bloxstrap-Persistance modifies Bloxstrap's settings (Settings.json) to add persistent integrations, showcasing how applications can be exploited.
Language: Go - Size: 4.88 KB - Last synced at: 25 days ago - Pushed at: 11 months ago - Stars: 7 - Forks: 1
genndy007/Tic-Tac-Goe
Tic-Tac-Toe Golang Implementation (for some golang practice)
Language: Go - Size: 5.86 KB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0
thquinn/Endrun
An off-the-grid tactical roguelite made in 48 hours for Ludum Dare 55
Language: C# - Size: 34.2 MB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
JH1ller/csgo-stratbook
Web & Desktop App to collaboratively manage csgo team playbook
Language: TypeScript - Size: 44.9 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 14 - Forks: 9
rodaine/Triumph 📦
A turn-based strategy game built for the University of Florida CAP4053 AI For Videogames (Spring 2011) final project.
Language: C# - Size: 31.5 MB - Last synced at: about 1 year ago - Pushed at: about 10 years ago - Stars: 1 - Forks: 0
ArturoDiez/LaEspatula-FrontEnd
Front End for La Espátula
Language: Vue - Size: 7.47 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
sourceduty/Casino_Tactics
🃏 Tactics employed by casinos to maximize their profits and exploit the psychology of gambling.
Size: 2.93 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
oblerion/AdvanceStar
crossover starcraft/advance wars
Language: C - Size: 2.92 MB - Last synced at: 3 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
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.
Size: 66.6 MB - Last synced at: 10 months ago - Pushed at: almost 2 years ago - Stars: 25 - Forks: 2
FOGSEC/Red-Team-Infrastructure-Wiki Fork of R3dFruitRollUp/Red-Team-Infrastructure-Wiki
Wiki to collect Red Team infrastructure hardening resources
Size: 2.7 MB - Last synced at: over 1 year ago - Pushed at: almost 7 years ago - Stars: 8 - Forks: 3
RedPRL/sml-dependent-lcf
A library for the next generation of LCF refiners, with support for dependent refinement—Long Live the Anti-Realist Struggle!
Language: Standard ML - Size: 1.4 MB - Last synced at: 3 months ago - Pushed at: about 7 years ago - Stars: 16 - Forks: 1
gmalecha/coq-smt-check
Invoke SMT solvers from Coq to check obligations
Language: OCaml - Size: 34.2 KB - Last synced at: about 1 month ago - Pushed at: almost 5 years ago - Stars: 10 - Forks: 3
S2-group/AwesomeAndDarkTactics
A collection of tactics and practices for various areas of software engineering / design
Size: 9.27 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 1
foreverbell/permutation-solver
A tactics for solving goals about permutation in Coq.
Language: Coq - Size: 7.81 KB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 4 - Forks: 1
L-TChen/MtacAR
Mtac in Agda
Language: Agda - Size: 98.6 KB - Last synced at: about 1 month ago - Pushed at: about 4 years ago - Stars: 28 - Forks: 0
jreisinger/goal
Goal, strategy and tactics
Language: Go - Size: 33.2 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
alhassy/CoqCheatSheet
Reference sheet for the Coq language.
Size: 869 KB - Last synced at: about 1 month ago - Pushed at: over 4 years ago - Stars: 15 - Forks: 1
Lomztein/Microsquad 📦
A deadbeat project which is unlikely to ever go anywhere, but ocasionally I come back to it to work a little.
Language: C# - Size: 107 MB - Last synced at: almost 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
capajon/r6maps
Rainbow Six Siege map quick references
Language: JavaScript - Size: 761 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 73 - Forks: 50
vitogit/chesswindmill
This are my chess projects. Here you can learn, play and improve your chess.
Language: HTML - Size: 313 KB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0
jdevuyst/rekenaar 📦
Idris tactics for (commutative) monoids
Language: Idris - Size: 39.1 KB - Last synced at: almost 2 years ago - Pushed at: almost 5 years ago - Stars: 20 - Forks: 1
vitogit/lichess-tactics-generator
Generate chess tactics from your own lichess games.
Language: Vue - Size: 1.4 MB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 47 - Forks: 4
vitogit/pgn-tactics-generator
Generate chess puzzles / tactics from a pgn file
Language: Python - Size: 1.35 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 91 - Forks: 27
vitogit/chess-winning-or-blunder
Answer if the chess move is winning or blunder, from your own Lichess.org games
Language: JavaScript - Size: 1.79 MB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 5 - Forks: 2
PerikiyoXD/FutureTacticsPakExport
Exports resources found in .pak files for Future Tactics: The Uprising game. Works in PS2 and PC versions.
Language: C++ - Size: 5.86 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
tacticalboard/tacticalboard
🥅 A tactical board on your device for badminton, soccer, and basketball.
Language: Vue - Size: 469 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 3 - Forks: 1
nsacyber/Chinese-State-Sponsored-Cyber-Operations-Observed-TTPs 📦
Supporting files for the Chinese State-Sponsored Cyber Operations: Observed TTPs Cybersecurity Advisory. #nsacyber
Size: 11.7 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 23 - Forks: 4
elemein/TacticalProcGenCombat
A multiplayer dungeon made in Godot that supports up to 2 players! Fight through the dungeon alone or with a friend and try to defeat the minotaur on the 3rd floor! Collect equipment along the way and customize your character with up to 4 abilities!
Language: GDScript - Size: 83.6 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 3 - Forks: 1
belmoussaoui/Tactics-System
A Tactical Battle System for RPG Maker MV.
Language: JavaScript - Size: 2.88 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 51 - Forks: 23
joom/edit-time-tactics
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"
Language: TeX - Size: 7.51 MB - Last synced at: 2 days ago - Pushed at: over 6 years ago - Stars: 9 - Forks: 0
pvdstel/Attic
An implementation of tactics in Agda
Language: Agda - Size: 41 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
anjasamar/Atsi-New-Star
Tactics strategy tycoon browser game
Size: 17.6 KB - Last synced at: 2 months ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 1
ualisars/wargame
Wargame is a web real-time strategic game
Language: TypeScript - Size: 11.2 MB - Last synced at: 2 months ago - Pushed at: over 6 years ago - Stars: 4 - Forks: 1
varunpvp/puzzle-race
An app to race your chess puzzle skills
Language: TypeScript - Size: 329 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 1
gomfucius/such_and_dungeons
SwiftUI game from relatively-popular game Dungeons & Such
Language: Swift - Size: 48.4 MB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0
Dorthu/js-tactics
An es6-based tactics game (in progress)
Language: JavaScript - Size: 1.91 MB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
LBHackney-IT/TacticsManual
Hackney Service Design Tactics Manual
Language: CSS - Size: 1.17 MB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 2
