Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: tactics
ja2-stracciatella/ja2-stracciatella
The continuation of the venerable JA2-Stracciatella project.
Language: C++ - Size: 90.4 MB - Last synced: 4 days ago - Pushed: 4 days ago - Stars: 445 - Forks: 77
martinstarman/rtte
2D isometric real time tactics game engine
Language: Rust - Size: 684 KB - Last synced: 5 days ago - Pushed: 5 days ago - Stars: 1 - Forks: 0
mthcht/Purpleteam
Purpleteam scripts simulation & Detection - trigger events for SOC detections
Language: PowerShell - Size: 28 MB - Last synced: 3 days ago - Pushed: about 1 month ago - Stars: 124 - Forks: 13
rgleason/dashboard_tactics_pi
OpenCPN dashboard built-in plugin merger with external tactics_pi plugin
Language: C++ - Size: 187 MB - Last synced: 14 days ago - Pushed: 14 days ago - Stars: 4 - Forks: 10
gapt/gapt
GAPT: General Architecture for Proof Theory
Language: Scala - Size: 181 MB - Last synced: 16 days ago - Pushed: 16 days ago - Stars: 91 - Forks: 18
coexistence-conservation-lab/eastern-quoll-trials-and-tactics
Adapting reintroduction tactics in successive trials increases the likelihood of establishment for an endangered carnivore in a fenced sanctuary
Language: R - Size: 599 KB - Last synced: 22 days ago - Pushed: 10 months ago - Stars: 0 - Forks: 0
Seasawher/mathlib4-tactics
List of the all tactics of mathlib4. This is heavily inspired by haruhisa-enomoto/mathlib4-all-tactics
Language: JavaScript - Size: 188 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 1 - Forks: 0
ozkriff/zemeroth
😠⚔️😈 A minimalistic 2D turn-based tactical game in Rust
Language: Rust - Size: 2.25 MB - Last synced: 26 days ago - Pushed: 2 months ago - Stars: 1,378 - Forks: 86
thquinn/Endrun
An off-the-grid tactical roguelite made in 48 hours for Ludum Dare 55
Language: C# - Size: 34.2 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0
JH1ller/csgo-stratbook
Web & Desktop App to collaboratively manage csgo team playbook
Language: TypeScript - Size: 44.9 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 14 - Forks: 9
mikyll/TablutTactics
Applicazione grafica per facilitare la comprensione delle meccaniche di gioco e l'ideazione di strategie di Ashton Tablut
Language: C - Size: 56.5 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 3 - Forks: 0
rodaine/Triumph 📦
A turn-based strategy game built for the University of Florida CAP4053 AI For Videogames (Spring 2011) final project.
Language: C# - Size: 31.5 MB - Last synced: about 1 month ago - Pushed: about 9 years ago - Stars: 1 - Forks: 0
ArturoDiez/LaEspatula-FrontEnd
Front End for La Espátula
Language: Vue - Size: 7.47 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 1 - Forks: 0
sourceduty/Casino_Tactics
🃏 Tactics employed by casinos to maximize their profits and exploit the psychology of gambling.
Size: 2.93 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0
oblerion/AdvanceStar
crossover starcraft/advance wars
Language: C - Size: 2.92 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0
umitkaanusta/Jomini
Historical battle simulation package for Python
Language: Python - Size: 36.1 KB - Last synced: 17 days ago - Pushed: almost 4 years ago - Stars: 44 - Forks: 4
ozkriff/zoc
⬡ Zone of Control is a hexagonal turn-based strategy game written in Rust. [DISCONTINUED]
Language: Rust - Size: 2.2 MB - Last synced: 26 days ago - Pushed: over 4 years ago - Stars: 376 - Forks: 31
jymcheong/AutoTTP
Automated Tactics Techniques & Procedures
Language: Python - Size: 9.51 MB - Last synced: about 1 month ago - Pushed: almost 1 year ago - Stars: 244 - Forks: 64
Matafou/LibHyps
A Coq library providing tactics to deal with hypothesis
Language: Coq - Size: 165 KB - Last synced: 23 days ago - Pushed: 5 months ago - Stars: 19 - Forks: 3
jespercockx/ataca
A TACtic library for Agda
Language: Agda - Size: 46.9 KB - Last synced: 2 months ago - Pushed: 10 months ago - Stars: 47 - Forks: 3
Scrut1ny/Law-Enforcement-Guide
This informative guide offers essential tips to avoid legal trouble with law enforcement by educating readers on their rights and ways to circumvent unnecessary prosecution.
Size: 299 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 11 - Forks: 0
LS-Lab/KeYmaeraX-release
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
Language: Scala - Size: 256 MB - Last synced: about 2 months ago - Pushed: 2 months ago - Stars: 71 - Forks: 36
Trisfald/weasel
Weasel Turn Battle System
Language: Rust - Size: 582 KB - Last synced: 15 days ago - Pushed: over 3 years ago - Stars: 65 - Forks: 4
FOGSEC/Red-Team-Infrastructure-Wiki Fork of R3dFruitRollUp/Red-Team-Infrastructure-Wiki
Wiki to collect Red Team infrastructure hardening resources
Size: 2.7 MB - Last synced: 4 months ago - Pushed: almost 6 years ago - Stars: 8 - Forks: 3
RedPRL/sml-dependent-lcf
A library for the next generation of LCF refiners, with support for dependent refinement—Long Live the Anti-Realist Struggle!
Language: Standard ML - Size: 1.4 MB - Last synced: 2 months ago - Pushed: over 6 years ago - Stars: 16 - Forks: 1
ramaureirac/godot-tactical-rpg
A tactical role-playing game demo for the Godot Engine
Language: GDScript - Size: 76 MB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 416 - Forks: 52
dzremre/ageofempires
A guide with all the civilizations and build orders related to the Age of Empires.
Size: 91.8 KB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 1 - Forks: 0
S2-group/AwesomeAndDarkTactics
A collection of tactics and practices for various areas of software engineering / design
Size: 9.27 MB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 2 - Forks: 1
rsvp/chess
Chess :: Maxims and Tools. Open-source insights shared via quotes and software.
Language: Jupyter Notebook - Size: 113 KB - Last synced: 7 months ago - Pushed: over 5 years ago - Stars: 14 - Forks: 5
L-TChen/MtacAR
Mtac in Agda
Language: Agda - Size: 98.6 KB - Last synced: about 1 month ago - Pushed: about 3 years ago - Stars: 28 - Forks: 0
jreisinger/goal
Goal, strategy and tactics
Language: Go - Size: 33.2 KB - Last synced: 8 months ago - Pushed: 8 months ago - Stars: 1 - Forks: 0
ninpl/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.
Language: C# - Size: 13.1 MB - Last synced: 25 days ago - Pushed: over 3 years ago - Stars: 32 - Forks: 21
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"
Language: TeX - Size: 7.51 MB - Last synced: 10 months ago - Pushed: over 5 years ago - Stars: 9 - Forks: 0
Lomztein/Microsquad 📦
A deadbeat project which is unlikely to ever go anywhere, but ocasionally I come back to it to work a little.
Language: C# - Size: 107 MB - Last synced: 10 months ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0
capajon/r6maps
Rainbow Six Siege map quick references
Language: JavaScript - Size: 761 MB - Last synced: 7 months ago - Pushed: over 2 years ago - Stars: 73 - Forks: 50
vitogit/chesswindmill
This are my chess projects. Here you can learn, play and improve your chess.
Language: HTML - Size: 313 KB - Last synced: 10 months ago - Pushed: over 5 years ago - Stars: 2 - Forks: 0
jdevuyst/rekenaar 📦
Idris tactics for (commutative) monoids
Language: Idris - Size: 39.1 KB - Last synced: 10 months ago - Pushed: about 4 years ago - Stars: 20 - Forks: 1
uwplse/StructTact
Coq utility and tactic library.
Language: Coq - Size: 275 KB - Last synced: 13 days ago - Pushed: 6 months ago - Stars: 21 - Forks: 8
vitogit/lichess-tactics-generator
Generate chess tactics from your own lichess games.
Language: Vue - Size: 1.4 MB - Last synced: 10 months ago - Pushed: over 1 year ago - Stars: 47 - Forks: 4
vitogit/pgn-tactics-generator
Generate chess puzzles / tactics from a pgn file
Language: Python - Size: 1.35 MB - Last synced: 10 months ago - Pushed: 12 months ago - Stars: 91 - Forks: 27
przem360/ascii-fantasy-tactics
Text adventure game with tactics battle
Language: C - Size: 635 KB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 0 - Forks: 0
InFinity54/TFT_DDragon 📦
Files from Teamfight Tactics to use in your projects, distributed by Riot Games. Contains some old and new files. Check README for details about repository updates.
Size: 66.6 MB - Last synced: 12 months ago - Pushed: 12 months ago - Stars: 23 - Forks: 3
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/
Language: C# - Size: 25.5 MB - Last synced: about 1 month ago - Pushed: about 6 years ago - Stars: 29 - Forks: 4
vitogit/chess-winning-or-blunder
Answer if the chess move is winning or blunder, from your own Lichess.org games
Language: JavaScript - Size: 1.79 MB - Last synced: 10 months ago - Pushed: over 2 years ago - Stars: 5 - Forks: 2
maksym-bortin/synthesis
Synthesis of implementations for divide-and-conquer specifications
Language: Isabelle - Size: 86.9 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0
PerikiyoXD/FutureTacticsPakExport
Exports resources found in .pak files for Future Tactics: The Uprising game. Works in PS2 and PC versions.
Language: C++ - Size: 5.86 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0
thery/PolTac
Tactic for polynomial manipulations
Language: Coq - Size: 127 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 10 - Forks: 1
alhassy/gentle-intro-to-reflection
A slow-paced introduction to reflection in Agda. ---Tactics!
Language: Agda - Size: 57.6 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 67 - Forks: 5
alhassy/CoqCheatSheet
Reference sheet for the Coq language.
Size: 869 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 16 - Forks: 1
tacticalboard/tacticalboard
🥅 A tactical board on your device for badminton, soccer, and basketball.
Language: Vue - Size: 469 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 3 - Forks: 1
TOTBWF/tactic-haskell
Tactic Metaprogramming in Haskell
Language: Haskell - Size: 150 KB - Last synced: about 1 year ago - Pushed: almost 5 years ago - Stars: 55 - Forks: 0
nsacyber/Chinese-State-Sponsored-Cyber-Operations-Observed-TTPs 📦
Supporting files for the Chinese State-Sponsored Cyber Operations: Observed TTPs Cybersecurity Advisory. #nsacyber
Size: 11.7 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 23 - Forks: 4
elemein/TacticalProcGenCombat
A multiplayer dungeon made in Godot that supports up to 2 players! Fight through the dungeon alone or with a friend and try to defeat the minotaur on the 3rd floor! Collect equipment along the way and customize your character with up to 4 abilities!
Language: GDScript - Size: 83.6 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 3 - Forks: 1
semibran/tactics
:crossed_swords: minimalistic tactical rpg
Language: JavaScript - Size: 2.85 MB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 26 - Forks: 5
belmoussaoui/Tactics-System
A Tactical Battle System for RPG Maker MV.
Language: JavaScript - Size: 2.88 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 51 - Forks: 23
pvdstel/Attic
An implementation of tactics in Agda
Language: Agda - Size: 41 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 1 - Forks: 0
tchajed/coq-tactical
Library of Coq proof automation
Language: Coq - Size: 39.1 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 12 - Forks: 2
gmalecha/coq-smt-check
Invoke SMT solvers from Coq to check obligations
Language: OCaml - Size: 34.2 KB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 9 - Forks: 3
anjasamar/Atsi-New-Star
Tactics strategy tycoon browser game
Size: 17.6 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 1 - Forks: 2
ualisars/wargame
Wargame is a web real-time strategic game
Language: TypeScript - Size: 11.2 MB - Last synced: 10 days ago - Pushed: over 5 years ago - Stars: 4 - Forks: 1
foreverbell/permutation-solver
A tactics for solving goals about permutation in Coq.
Language: Coq - Size: 7.81 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 3 - Forks: 1
varunpvp/puzzle-race
An app to race your chess puzzle skills
Language: TypeScript - Size: 329 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 2 - Forks: 1
gomfucius/such_and_dungeons
SwiftUI game from relatively-popular game Dungeons & Such
Language: Swift - Size: 48.4 MB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 1 - Forks: 0
Dorthu/js-tactics
An es6-based tactics game (in progress)
Language: JavaScript - Size: 1.91 MB - Last synced: about 1 year ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0
genndy007/Tic-Tac-Goe
Tic-Tac-Toe Golang Implementation (for some golang practice)
Language: Go - Size: 5.86 KB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 1 - Forks: 0
LBHackney-IT/TacticsManual
Hackney Service Design Tactics Manual
Language: CSS - Size: 1.17 MB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 1 - Forks: 2