#
tactics
Here are 56 public repositories matching this topic...
The continuation of the venerable JA2-Stracciatella project.
-
Updated
May 2, 2022 - C++
Automated Tactics Techniques & Procedures
-
Updated
Nov 12, 2019 - Python
A tactical role-playing game demo for the Godot Engine
game
gamedev
game-development
pathfinding
tactics
godotengine
godot
godot-engine
gdscript
tactical-rpg
turn-based-strategy
-
Updated
Apr 16, 2022 - GDScript
GAPT: General Architecture for Proof Theory
-
Updated
Mar 23, 2021 - Scala
Rainbow Six Siege map quick references
-
Updated
Aug 30, 2021 - JavaScript
Generate chess puzzles / tactics from a pgn file
-
Updated
Jun 10, 2021 - Python
Open
More system metrics.
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
scala
proof
mathematica
tactics
dynamical-systems
differential-equations
hybrid-systems
theorem-prover
axiom
cyber-physical-systems
dynamic-logics
differential-dynamic-logic
keymaera
hybrid-games
-
Updated
Mar 1, 2022 - Scala
A TACtic library for Agda
-
Updated
Jul 17, 2021 - Agda
A Tactical Battle System for RPG Maker MV.
-
Updated
Jan 3, 2021 - JavaScript
vitogit
commented
Sep 25, 2021
Modify this line to add more options https://github.com/vitogit/lichess-tactics-generator/blob/master/src/App.vue#L87
Add checkbox or dropbox to the page so the user can select other options
- Variations: "ultraBullet" "bullet" "blitz" "rapid" "classical" "correspondence" "chess960" "crazyhouse" "antichess" "atomic" "horde" "kingOfTheHill" "racingKings" "threeCheck"
- color: "white", "black
good first issue
Good for newcomers
Historical battle simulation package for Python
simulation
model
modeling
tactics
strategy
modelling
military
combat
war
wargaming
strategy-game
operations-research
historical
battle
attrition
military-history
war-games
strategy-games
lanchester
-
Updated
Aug 19, 2020 - Python
Idris tactics for (commutative) monoids
-
Updated
May 24, 2020 - Idris
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/
-
Updated
Mar 13, 2018 - C#
Supporting files for the Chinese State-Sponsored Cyber Operations: Observed TTPs Cybersecurity Advisory. #nsacyber
-
Updated
Jul 19, 2021
A Coq library providing tactics to deal with hypothesis
-
Updated
Jan 27, 2022 - Coq
A library for the next generation of LCF refiners, with support for dependent refinement—Long Live the Anti-Realist Struggle!
-
Updated
Feb 13, 2018 - Standard ML
Improve this page
Add a description, image, and links to the tactics topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the tactics topic, visit your repo's landing page and select "manage topics."
Expand the available list of system metrics. Around 10-15 new metrics (the most useful we can think of) is a good start.