A frequency counter library for esp32

• UpdatedAug 20, 2024
• C++

Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".

• UpdatedMay 20, 2019
• C

A simple yet insightful program to set multiple gpio interrupts

• UpdatedFeb 26, 2022
• C

Stepper Motor Library for embedded platforms. Full featured and high performance.

• UpdatedNov 22, 2020
• C++

Make a keyboard yourself at home using ARM-Cortex-M4 micro-controller

• UpdatedAug 21, 2024
• C

An example for the interrupt based timers for ATmega328P micro-controller. Using CMake based build powered by PlaftormIO

• UpdatedSep 20, 2022
• C

MCP23017 / MCP23S17 WiringPi expansion library utilizing the chip's interrupt capability for event driven functionality

• UpdatedJun 2, 2025
• C

Pico / rp2040 examples for using PIO

• UpdatedMay 31, 2024
• Python

Digital stopwatch using Timer1. Displays elapsed time over UART in the format MM:SS:MS.

• UpdatedAug 7, 2025
• SWIG

Configuring tm4c123gh6pm modules using the technical user manual and datasheet

• UpdatedFeb 5, 2021
• HTML

A repository for the three mini-projects during the 2024-2025 course of Embedded Systems and IOT at the University of Bologna.

• UpdatedJan 15, 2025
• C++

Simple kernel written in C++ for 8086 CPU for Operating Systems 1 class.

• UpdatedMar 15, 2023
• C++

An adaptation of the famous ‘Cuphead’ game on the Minix operating system

• UpdatedJun 12, 2024
• C

Linux interrupt driven kernel driver for ADS7924 2.2 V, 12-Bit, 4-Channel, MicroPOWER Analog-to-Digital Converter With I2C Interface from Texas Instruments

• UpdatedMar 18, 2025
• C

Set of projects developed on the TivaWare Development Board with the ARM Cortex M4 processor

• UpdatedFeb 16, 2022
• C

An assembly program that processes user-input commands to manipulate circular first-in first-out queues.

• UpdatedFeb 24, 2023
• Assembly

This project demonstrates the usage of the Modest IoT Nano-framework (C++ Edition) v0.1 by implementing a simple IoT device: the ToggableLedDevice. It toggles an LED on an ESP32 via a button press, showcasing the framework’s object-oriented, event-driven, and CQRS-inspired design.

• UpdatedSep 8, 2025
• C++

debounce a switch using interrupts

• UpdatedJun 4, 2022
• Python

Traffic Control System to manage 4 traffic lights at an intersection using a Finite State Machine (FSM), GPIO Inputs for car detection, and GPIO Outputs to drive RGB LEDs.

• UpdatedJun 30, 2025
• C

🖱️ Proposed solution for the Computer Laboratory course@FEUP

• UpdatedJun 4, 2021
• C