Marco Grandi's repositories
mvs-finalproject
A car emergency system described in Promela and verified with SPIN - Final project of formal verification of software course (unipi)
course-dbt-grandimk
Repository for Analytics Engineering with dbt (co:rise)
gobyexample
Go by Example
Language:CSS000
Language:C++000
quarkus-kafka-test-apps
Kafka test applications written using Quarkus
Language:JavaApache-2.0000
rust-aws-lambda-example
Example of AWS Lambda in Rust: check if a user exists.
rust-by-example
Learn Rust with examples (Live code editor included)
Language:HTMLApache-2.0000