S2E: A platform for multi-path program analysis with selective symbolic execution.

Scapix Language Bridge

Automated Hydroponic System with Remote Monitoring

Example for Scapix Language Bridge

Dollycam/cinematic maker for Rocket League replays

Arduino robotic drummer

Arduino_Plant_Watering_System

Guardian is an advanced, fully automated hydroponics system designed to optimize plant growth and maximize yield. Utilizing micro-controllers and pH fuzzy logic control, it ensures precise nutrient delivery, enables remote monitoring, and achieves remarkable water savings while increasing crop productivity.

Mesh simplification using the halfedge data structure and a Quadratic Error Function

Assembly Cheat for Counterstrike 2

Automates interactions with the Blum airdrop platform, including claiming rewards, managing farming sessions, completing tasks, and playing games. Official website: https://blumdrop.app

Project to create a simple cooler

ATM simulator built with Qt, Node.js, and MySQL, featuring authentication, transactions, and card management for a real banking experience.

ZandrEA is a software framework supporting research into the automated, real-time detection and diagnostics of operational faults in the heating, ventilating, and air-conditioning (HVAC) systems of large commercial buildings.

A Smart bin can be easy your life. This is an automatic smart dust bin. When you will go near the bin it will open auto and you will drop your garbages. Easy to move from one place to another.

Control of 4 DOF robotic arm using Bluetooth HC-05 Sensor

Thousands of Problems for Theorem Provers Library

Very cheap and easy chicken automatic door. Creer sa porte automatique de poulailler !

Smartphone-Controlled Robotic Vacuum Cleaner Using Arduino Embedded Platform!

ESP32-based quick & dirty timer on/off-switch