Intel NUC - Intel NUCs are available as Kits(Barebones), Boards(Mainbaord only) and as perconfigured Mini-PCs.
Udoo x86 Ultra - Udoo x86 Ultra is a modern PC, known as the most powerful X86 maker board and an Arduino 101 compatible platform.
Lattepanda - Lattepanda is a complete windows 10 single board computer and first machine that comes pre-installed with a full edition of Windows 10 Home Edition so you can easily run all the powerful tools including NodeJs, Visual Studios and Processing etc.
ESPRESSObin - Electronics, Single Board Computer, and x86
MikroTik RouterOS - The main product of MikroTik is a Linux-based operating system known as MikroTik RouterOS.
Google Coral - Google Coral is a SBC family designed for AI and ML in the edge. This particular board is a developer kit and is capable of running a full Linux distro.