Have a look at the FriendlyElec NanoPi R6C or other boards using the Rockchip RK3588 if you want an 8-core CPU and 8GB of RAM. It's priced roughly the same as an Intel N100 Mini-PC.
If you're a dev, I wouldn't restrict myself to boards with standard support only, since many great boards are community supported. If you stumble over any problem with the board that is Armbian-related, you can also contribute to the code 😄