#
tactics
Here are 46 public repositories matching this topic...
The continuation of the venerable JA2-Stracciatella project.
-
Updated
Oct 20, 2020 - C++
Automated Tactics Techniques & Procedures
-
Updated
Nov 12, 2019 - Python
GAPT: General Architecture for Proof Theory
-
Updated
Sep 20, 2020 - Scala
Rainbow Six Siege map quick references
-
Updated
Mar 16, 2020 - JavaScript
A tactical role-playing game demo for Godot Engine
-
Updated
Oct 3, 2019 - GDScript
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
Oct 10, 2020 - Scala
A TACtic library for Agda
-
Updated
Mar 14, 2019 - Agda
Open
invalid result?
1
abjunk07
commented
Feb 24, 2020
[Event "0728 03099"]
[Site "?"]
[Date "????.??.??"]
[Round "?"]
[White "solver"]
[Black "?"]
[Result "*"][SetUp "1"]
[FEN "3r3k/6pp/3Q4/q7/8/4P2P/6P1/5RK1 b KQkq - 0 1"]
1...Rxd6 2.Rf8# *
several issues here:
- invalid tag [Result "*"][SetUp "1"]
- invalid result, must be 1-0
- what kind of puzzle is it? While blunder? Does it mean that the 1st move is always a wrong one?
In th
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
A Tactical Battle System for RPG Maker MV.
-
Updated
Oct 6, 2020 - JavaScript
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#
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
A Coq library providing tactics to deal with hypothesis
-
Updated
Jul 9, 2020 - Coq
-
Updated
Jul 27, 2017 - JavaScript
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.