Projects in Awesome Lists tagged with tactic
A curated list of projects in awesome lists tagged with tactic .
https://github.com/qeeqbox/mitre-visualizer
🧬 Mitre Interactive Network Graph (APTs, Malware, Tools, Techniques & Tactics)
advanced-persistent-threat attack malware mitre network-graph tactic technique tool
Last synced: 07 Oct 2025
https://github.com/diegocortassa/docker-tactic
Dockerfile for a tactic docker image
assets-management digital-assets dockerfile tactic vfx vfx-pipeline workflow-engine
Last synced: 03 Apr 2025
https://github.com/wvhulle/ennreal-arith
Simplify arithmetic expressions of ENNReal numbers in Lean4
arithmetic ennreal lean4 mathematics mathlib4 probability proof-assistant real tactic
Last synced: 26 Oct 2025
