All Categories → Games → tactics

Top 10 tactics open source projects

gentle-intro-to-reflection

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

✭ 58

Agda tutorial exercise tactics agda proof-pattern

Mtac in Agda

✭ 29

Agda coq tactics monad agda

A Coq library providing tactics to deal with hypothesis

✭ 14

Coq shell coq tactics hypothesis tactical formal-proofs

Rainbow Six Siege map quick references

✭ 74

javascript CSS HTML PHP gaming maps video-game tactics fps-game siege gaming-website rainbow-six

Idris tactics for (commutative) monoids

✭ 21

Idris solver tactics arithmetic monoid

GAPT: General Architecture for Proof Theory

✭ 83

scala assembly proof theorem-proving tactics sat-solver proofs herbrand-disjunction

A TACtic library for Agda

✭ 47

Agda tactics agda proof-search

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.

✭ 28

C#game rpg prototype unity tactics moon

Reference sheet for the Coq language.

✭ 15

html pdf coq tactics cheatsheet

pgn-tactics-generator

Generate chess puzzles / tactics from a pgn file

✭ 83

python shell chess generator tactics creator puzzles lichess chess-puzzle stockfish python-chess

1-10 of 10 tactics projects