Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with tactics

A curated list of projects in awesome lists tagged with tactics .

https://github.com/ozkriff/zemeroth

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

2d android circleci game hexagonal opengl rust strategy tactics travis-ci turn-based wasm webassembly

Last synced: 03 Jan 2025

https://github.com/ja2-stracciatella/ja2-stracciatella

The continuation of the venerable JA2-Stracciatella project.

c-plus-plus game hacktoberfest jagged-alliance2 original-game rust sdl2 strategy-game tactics

Last synced: 01 Nov 2024

https://github.com/ozkriff/zoc

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

android game hexagonal opengl rust strategy tactics turn-based

Last synced: 03 Jan 2025

https://github.com/jymcheong/AutoTTP

Automated Tactics Techniques & Procedures

cybersecurity empire powershell procedure python tactics

Last synced: 30 Oct 2024

https://github.com/theshaggydev/unto-deepest-depths-prototype

This is early prototype code for the core game loop of Unto Deepest Depths, provided as a learning example on how I structure turn-based games in Godot 4.

gdscript godot godot-engine tactics

Last synced: 07 Jan 2025

https://github.com/alhassy/gentle-intro-to-reflection

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

agda exercise macro proof-pattern tactics tutorial

Last synced: 25 Dec 2024

https://github.com/gapt/gapt

GAPT: General Architecture for Proof Theory

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

Last synced: 09 Nov 2024

https://github.com/totbwf/tactic-haskell

Tactic Metaprogramming in Haskell

haskell metaprogramming tactics

Last synced: 16 Nov 2024

https://github.com/semibran/tactics

:crossed_swords: minimalistic tactical rpg

game rpg srpg tactics trpg

Last synced: 27 Oct 2024

https://github.com/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/

tactical-rpg tactics unity unity-asset unity-editor unity3d

Last synced: 10 Nov 2024

https://github.com/uwplse/structtact

Coq utility and tactic library.

coq coq-library tactics

Last synced: 25 Nov 2024

https://github.com/Matafou/LibHyps

A Coq library providing tactics to deal with hypothesis

coq formal-proofs hypothesis proof-assistant tactical tactics

Last synced: 18 Nov 2024

https://github.com/redprl/sml-dependent-lcf

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

lcf proof-refinement refiner tactics

Last synced: 08 Jan 2025

https://github.com/alhassy/coqcheatsheet

Reference sheet for the Coq language.

cheatsheet coq html pdf tactics

Last synced: 28 Oct 2024

https://github.com/rsvp/chess

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

aphorisms chess chess-database epigram game gaming lichess life maxims psychology python quote quotes shell software strategy tactics

Last synced: 21 Nov 2024

https://github.com/tchajed/coq-tactical

Library of Coq proof automation

coq tactics

Last synced: 24 Nov 2024

https://github.com/thery/poltac

Tactic for polynomial manipulations

coq inequalities polynomial tactics

Last synced: 28 Oct 2024

https://github.com/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"

editor emacs idris tactics

Last synced: 12 Nov 2024

https://github.com/gmalecha/coq-smt-check

Invoke SMT solvers from Coq to check obligations

coq smt-solver tactics

Last synced: 25 Nov 2024

https://github.com/evilbytecode/bloxstrap-persistance

Bloxstrap-Persistance modifies Bloxstrap's settings (Settings.json) to add persistent integrations, showcasing how applications can be exploited.

bloxstrap grabber persistence red-team roblox-logger tactics

Last synced: 23 Dec 2024

https://github.com/ualisars/wargame

Wargame is a web real-time strategic game

2d-game game html html5 javascript strategy-game tactics typescript wargame web webgame

Last synced: 23 Oct 2024

https://github.com/foreverbell/permutation-solver

A tactics for solving goals about permutation in Coq.

coq tactics

Last synced: 15 Nov 2024

https://github.com/genndy007/tic-tac-goe

Tic-Tac-Toe Golang Implementation (for some golang practice)

2player golang pvp strategy tactics tic-tac-toe tui

Last synced: 27 Nov 2024

https://github.com/anjasamar/Atsi-New-Star

Tactics strategy tycoon browser game

browser-game game simulation tactics tycoon

Last synced: 23 Oct 2024

https://github.com/martinstarman/rtte

2D isometric real time tactics game engine written in Rust using Bevy Engine.

2d commandos engine game game-engine game-engine-2d isometric real-time realtime tactics

Last synced: 16 Nov 2024

https://github.com/thquinn/endrun

An off-the-grid tactical roguelite made in 48 hours for Ludum Dare 55

game-jam ldjam ldjam55 ludum-dare ludum-dare-55 minimalist tactics tactics-game unity3d

Last synced: 20 Dec 2024

https://github.com/oblerion/advancestar

crossover starcraft/advance wars

advancewars c game starcraft tactics

Last synced: 05 Jan 2025

https://github.com/ladzislaf/tic-tac-tactics

Tic-tac-toe game with tactical additions

react tactics tic-tac-toe tic-tac-toe-extended typescript vite

Last synced: 19 Dec 2024