😠⚔️😈 A minimalistic 2D turn-based tactical game in Rust

⬡ Zone of Control is a hexagonal turn-based strategy game written in Rust. [DISCONTINUED]

The continuation of the venerable JA2-Stracciatella project.

Automated Tactics Techniques & Procedures

GAPT: General Architecture for Proof Theory

Rainbow Six Siege map quick references

Weasel Turn Battle System

A slow-paced introduction to reflection in Agda. ---Tactics!

KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)

A TACtic library for Agda

A tactical role-playing game demo for Godot Engine

Generate chess puzzles / tactics from a pgn file

Historical battle simulation package for Python

Mtac in Agda

Tactic Metaprogramming in Haskell

Idris tactics for (commutative) monoids

Coq utility and tactic library.

A Tactical Battle System for RPG Maker MV.

⚔️ minimalistic tactical rpg

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/

Generate chess tactics from your own lichess games.

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.

A library for the next generation of LCF refiners, with support for dependent refinement—Long Live the Anti-Realist Struggle!

Chess :: Maxims and Tools. Open-source insights shared via quotes and software.

Reference sheet for the Coq language.

A Coq library providing tactics to deal with hypothesis

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"

Tactic for polynomial manipulations

Invoke SMT solvers from Coq to check obligations

🚗 Intelligent self-control and fighting system of karts in the Kartwars.io multiplayer game.