Husseinfo / tracker Star 43 Code Issues Pull requests Face recognition based attendance system machine-learning django image-processing python3 face image-classification face-recognition face-detection automation-systems face-recognition-python Updated Jun 7, 2025 HTML
shubhamjha25 / RAS Star 27 Code Issues Pull requests Restaurant Automation System Software react automation shopping-cart react-router payment axios restaurant-management mern-stack restaurant-automation automation-systems food-ordering react-hooks Updated Feb 3, 2022 JavaScript
igor-buzhinsky / modchk-to-spin Star 1 Code Issues Pull requests Converter of function block models from NuSMV to Promela (SPIN) promela model-checking formal-methods spin formal-verification nusmv automation-systems Updated Jun 3, 2017 Java
igor-buzhinsky / formal_testing_in_closed_loop Star 0 Code Issues Pull requests Tool to test automation systems by means of model checking testing model-checking formal-methods formal-verification automation-systems Updated Oct 3, 2018 Java
maehw / BrickLines Star 0 Code Issues Pull requests BRICK Lines is an open-source clone of the LEGO® Lines software for LEGO® Interface A programming-language programming apple2 commodore educational lego control-systems brick lines apple-ii automation-systems lego-robotics commodore64 Updated Feb 15, 2025 Python
igor-buzhinsky / indin2015_source Star 0 Code Issues Pull requests Coverage-based test generation for IEC 61499 function blocks coverage-testing testing-tools automation-systems Updated Feb 8, 2015 Java