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

Scapix Language Bridge

Automated Hydroponic System with Remote Monitoring

Dollycam/cinematic maker for Rocket League replays

Example for Scapix Language Bridge

Arduino robotic drummer

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.

Arduino_Plant_Watering_System

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.

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

Assembly Cheat for Counterstrike 2

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

Project to create a simple cooler

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

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

IoT-based Automated Smart Farming System: Replication and Enhancement of an existing research paper.

Arduino-based system using sensors to control a motor, moving clothes based on environmental conditions. Bluetooth and switch control available

Definitely Useless Mouse roBot Okay.

Thousands of Problems for Theorem Provers Library