Tactics
Showing 7 of 7 projects
A minimalistic 2D turn-based tactical game with hexagonal maps, reaction attacks, and simple vector graphics, written in Rust.
A portable, cross-platform continuation of Jagged Alliance 2 that fixes bugs and provides a stable base for mods.
⬡ Zone of Control is a hexagonal turn-based strategy game written in Rust. [DISCONTINUED]
A framework for automating offensive security testing by scripting security tool APIs like Empire and Metasploit.
A Coq plugin that embeds the Elpi λProlog interpreter to define new commands and tactics for theorem proving.
A Coq plugin that replaces Coq's standard unification algorithm with an enhanced one supporting universe polymorphism and overloading.
A Coq library providing tactics and tacticals for hypothesis manipulation during proofs.
Related Tags
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.