These are the Astros that became Minor League Free Agents per the Astros.
11/7/2023 LHP Juan Pablo Lopez elected free agency.
11/6/2023 RHP Ronny Garcia elected free agency.
11/6/2023 C Garrett Wolforth elected free agency.
11/6/2023 SS Luis Aviles Jr. elected free agency.
11/6/2023 RHP Diosmerky Taveras elected free agency.
11/6/2023 RHP Angel Macuare elected free agency.
11/6/2023 RHP Gerardo Bojorquez elected free agency.
11/6/2023 RHP Heribert Garcia elected free agency.
11/6/2023 1B J.J. Matijevic elected free agency.
11/6/2023 RHP Enoli Paredes elected free agency.
11/6/2023 3B Rylan Bannon elected free agency.
11/6/2023 RHP Jake Cousins elected free agency.
11/6/2023 C Andrew Knapp elected free agency.
11/6/2023 RHP Matt Ruppenthal elected free agency.
11/6/2023 RHP Joe Record elected free agency.
11/3/2023 RHP Geraldo Cabrera elected free agency.
Here is how a player becomes a minor league free agent.
MLB RULE 55: An unsigned minor league player is automatically declared a free-agent at 5 PM (Eastern) on the 5th day after the final game of the World Series (the deadline is October 15th if the World Series is canceled) if the player has spent all or any part of at least seven separate seasons on a minor league roster (including all or parts of any season spent on Optional Assignment to the minors and/or on a minor league Injured List) and/or if the player has been previously released or non-tendered in his career and his present contract (known as a "second contract" even if it's his third or fourth minor league contract) has expired.
Some of these may choose to resign a Minor League Free Agent contract with the Astros for 2024.