Lattice QCD and Theory Tools: Software, Main use
FeynRules: Create model files for event generators
SARAH: BSM model building
FeynArts / FormCalc / LoopTools: Feynman diagram and loop calculations
FORM: Symbolic manipulation for large HEP calculations
QGraf: Feynman diagram generation
GAMBIT: Global fits for BSM physics
micrOMEGAs: Dark matter phenomenology
SPheno: SUSY/BSM spectrum calculation
HiggsBounds / HiggsSignals: Higgs-sector constraints