Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with tactics
A curated list of projects in awesome lists tagged with tactics .
https://github.com/ozkriff/zemeroth
😠⚔️😈 A minimalistic 2D turn-based tactical game in Rust
2d android circleci game hexagonal opengl rust strategy tactics travis-ci turn-based wasm webassembly
Last synced: 03 Jan 2025
https://github.com/ramaureirac/godot-tactical-rpg
A tactical role-playing game demo for the Godot Engine
game game-development gamedev gdscript godot godot-demo godot-engine godot3 godot4 godotengine pathfinding tactical-rpg tactics turn-based-strategy
Last synced: 03 Jan 2025
https://github.com/ja2-stracciatella/ja2-stracciatella
The continuation of the venerable JA2-Stracciatella project.
c-plus-plus game hacktoberfest jagged-alliance2 original-game rust sdl2 strategy-game tactics
Last synced: 01 Nov 2024
https://github.com/ozkriff/zoc
⬡ Zone of Control is a hexagonal turn-based strategy game written in Rust. [DISCONTINUED]
android game hexagonal opengl rust strategy tactics turn-based
Last synced: 03 Jan 2025
https://github.com/jymcheong/AutoTTP
Automated Tactics Techniques & Procedures
cybersecurity empire powershell procedure python tactics
Last synced: 30 Oct 2024
https://github.com/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.
gdscript godot godot-engine tactics
Last synced: 07 Jan 2025
https://github.com/alhassy/gentle-intro-to-reflection
A slow-paced introduction to reflection in Agda. ---Tactics!
agda exercise macro proof-pattern tactics tutorial
Last synced: 25 Dec 2024
https://github.com/gapt/gapt
GAPT: General Architecture for Proof Theory
herbrand-disjunction proof proofs sat-solver scala tactics theorem-proving
Last synced: 09 Nov 2024
https://github.com/totbwf/tactic-haskell
Tactic Metaprogramming in Haskell
haskell metaprogramming tactics
Last synced: 16 Nov 2024
https://github.com/jespercockx/ataca
A TACtic library for Agda
agda dependent-types metaprogramming proof-search tactics
Last synced: 10 Dec 2024
https://github.com/umitkaanusta/jomini
Historical battle simulation package for Python
attrition battle combat historical lanchester military military-history model modeling modelling operations-research simulation strategy strategy-game strategy-games tactics war war-games wargaming
Last synced: 22 Oct 2024
https://github.com/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/
tactical-rpg tactics unity unity-asset unity-editor unity3d
Last synced: 10 Nov 2024
https://github.com/l-tchen/mtacar
Mtac in Agda
agda coq metaprogramming monad reflection tactics
Last synced: 30 Oct 2024
https://github.com/Matafou/LibHyps
A Coq library providing tactics to deal with hypothesis
coq formal-proofs hypothesis proof-assistant tactical tactics
Last synced: 18 Nov 2024
https://github.com/redprl/sml-dependent-lcf
A library for the next generation of LCF refiners, with support for dependent refinement—Long Live the Anti-Realist Struggle!
lcf proof-refinement refiner tactics
Last synced: 08 Jan 2025
https://github.com/alhassy/coqcheatsheet
Reference sheet for the Coq language.
cheatsheet coq html pdf tactics
Last synced: 28 Oct 2024
https://github.com/thery/poltac
Tactic for polynomial manipulations
coq inequalities polynomial tactics
Last synced: 28 Oct 2024
https://github.com/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"
Last synced: 12 Nov 2024
https://github.com/gmalecha/coq-smt-check
Invoke SMT solvers from Coq to check obligations
Last synced: 25 Nov 2024
https://github.com/evilbytecode/bloxstrap-persistance
Bloxstrap-Persistance modifies Bloxstrap's settings (Settings.json) to add persistent integrations, showcasing how applications can be exploited.
bloxstrap grabber persistence red-team roblox-logger tactics
Last synced: 23 Dec 2024
https://github.com/ualisars/wargame
Wargame is a web real-time strategic game
2d-game game html html5 javascript strategy-game tactics typescript wargame web webgame
Last synced: 23 Oct 2024
https://github.com/rgleason/dashboard_tactics_pi
OpenCPN dashboard built-in plugin merger with external tactics_pi plugin
chartplotter navigation navigation-component performance performance-analysis performance-optimization performance-visualization race race-conditions sailing sailing-conditions tactics
Last synced: 20 Nov 2024
https://github.com/foreverbell/permutation-solver
A tactics for solving goals about permutation in Coq.
Last synced: 15 Nov 2024
https://github.com/genndy007/tic-tac-goe
Tic-Tac-Toe Golang Implementation (for some golang practice)
2player golang pvp strategy tactics tic-tac-toe tui
Last synced: 27 Nov 2024
https://github.com/anjasamar/Atsi-New-Star
Tactics strategy tycoon browser game
browser-game game simulation tactics tycoon
Last synced: 23 Oct 2024
https://github.com/martinstarman/rtte
2D isometric real time tactics game engine written in Rust using Bevy Engine.
2d commandos engine game game-engine game-engine-2d isometric real-time realtime tactics
Last synced: 16 Nov 2024
https://github.com/thquinn/endrun
An off-the-grid tactical roguelite made in 48 hours for Ludum Dare 55
game-jam ldjam ldjam55 ludum-dare ludum-dare-55 minimalist tactics tactics-game unity3d
Last synced: 20 Dec 2024
https://github.com/sourceduty/military_operations
🪖 Develop military operations and modern tactics.
ai ai-military ai-war ai-warfare artificial-intelligence chatgpt customgpt gpts military military-ai military-operations military-ops military-tool military-war modern-tactics modern-war ops tactical tactics warfare
Last synced: 21 Dec 2024
https://github.com/oblerion/advancestar
crossover starcraft/advance wars
advancewars c game starcraft tactics
Last synced: 05 Jan 2025
https://github.com/ladzislaf/tic-tac-tactics
Tic-tac-toe game with tactical additions
react tactics tic-tac-toe tic-tac-toe-extended typescript vite
Last synced: 19 Dec 2024