#

rossi

Here are 2 public repositories matching this topic...

Alberto-Monteiro / arduino_portao_eletronico

Um projeto para usar Arduino em um portão eletrônico usando IoT

iot arduino esp8266 esp32 platformio blynk rossi

Updated Jan 10, 2025
C++

eventb-rossi / awesome-event-b

A curated list of awesome resources for the Event-B formal method.

awesome awesome-list formal-methods prob rodin event-b b-method rossi

Updated Jul 2, 2026

Improve this page

Add a description, image, and links to the rossi topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the rossi topic, visit your repo's landing page and select "manage topics."