Linux.org.ua

---

MiniZinc  — це компілятор та середовище розробки для моделей з обмеженнями, який компілює моделі у мову FlatZinc, яка підтримується 15-тьма розвʼязувачами. З коробки поставляються Gecode, Chuffed, Google OR-Tools CP-SAT, HiGHS, та COIN-OR CBC. Використання MiniZinc дозволяє знаходити розвʼязки проблем, таких як наприклад мінімізація відходів при порізці матеріалу, пошук оптимальної послідовності дій, і тому подібне, без написання складних програм.

Домашня: https://www.minizinc.org/
Спробуват...

---

quickemu — це обгортка навколо qemu, яка дозволяє завантажити біля тисячі різних образів популярних операційних систем (Linux, *BSD, Windows, MacOS, DOS) та запустити їх під qemu з командного рядка двома командами.

Проєкт: https://github.com/quickemu-project/quickemu

---

sping — це проста утиліта з красивим TUI, написана на пітоні, яка дозволяє пінгувати сайти або сервіси (по tcp, http, https), демонструє графік, та може надавати статистику в JSON.



Проєкт: https://gitlab.com/dseltzer/sping

---

frigate — це NVR (мережний записувач відео), який інтегрується з Home Assistant, системи домашньої автоматизації яка підтримує понад 2000 різних інтеграцій. Він підтримує локальний штучний інтелект для розпізнавання обʼєктів, без потреби надсилати відео у хмару.

Домашня: https://frigate.video/
Проєкт: https://github.com/blakeblackshear/frigate