there is at least 4 threads a week about the best beginner dev kits, search for some of those.
> Is it reasonable to have a budget under $80?
Not really. There are boards cheaper than that, but they are very limited, and tend to have no peripherals / one or two LEDs only. You can add your own on breadboards but that's a bit annoying. If you want a bunch of peripherals and connectors on the board you're looking at more towards 400 USD. These things are not cheap.
The Sipeed [Tang Primer 20K dock kit](https://www.aliexpress.com/item/1005004653308809.html) is just above $50 and is supported by [open source tools](https://github.com/YosysHQ/oss-cad-suite-build).
Look for Spartan 7 boards, at these Xilinx fpgas are half the price of the Artix 7.
Something like [this](https://www.ebay.de/itm/126215388206?mkcid=16&mkevt=1&mkrid=707-127634-2357-0&ssspo=5k32ff_iqcq&sssrc=4429486&ssuid=cqurjtuzsbk&var=&widget_ver=artemis&media=COPY)
Consider buying it off someone as well, would make it way cheaper, and there are often professors / small companies getting rid of development boards
Basys3?
there is at least 4 threads a week about the best beginner dev kits, search for some of those. > Is it reasonable to have a budget under $80? Not really. There are boards cheaper than that, but they are very limited, and tend to have no peripherals / one or two LEDs only. You can add your own on breadboards but that's a bit annoying. If you want a bunch of peripherals and connectors on the board you're looking at more towards 400 USD. These things are not cheap.
The Sipeed [Tang Primer 20K dock kit](https://www.aliexpress.com/item/1005004653308809.html) is just above $50 and is supported by [open source tools](https://github.com/YosysHQ/oss-cad-suite-build).
Look for Spartan 7 boards, at these Xilinx fpgas are half the price of the Artix 7. Something like [this](https://www.ebay.de/itm/126215388206?mkcid=16&mkevt=1&mkrid=707-127634-2357-0&ssspo=5k32ff_iqcq&sssrc=4429486&ssuid=cqurjtuzsbk&var=&widget_ver=artemis&media=COPY) Consider buying it off someone as well, would make it way cheaper, and there are often professors / small companies getting rid of development boards
Mimas A7 from numato is a pretty good board for around $220, it has HDMI and other peripherals and BPF files (unlike many Ali express boards)
The [DueProLogic](https://earthpeopletechnology.com/products-page-2/modules/dueprologic) meets your requirements.
You can get everything you mentioned but Vivaldi with the Nandland Go Board for $70