Pinned Repositories
camel
Apache Camel
course-dbt-grandimk
Repository for Analytics Engineering with dbt (co:rise)
gobyexample
Go by Example
mvs-finalproject
A car emergency system described in Promela and verified with SPIN - Final project of formal verification of software course (unipi)
NewsClustering
quarkus-kafka-test-apps
Kafka test applications written using Quarkus
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)
grandimk's Repositories
grandimk/mvs-finalproject
A car emergency system described in Promela and verified with SPIN - Final project of formal verification of software course (unipi)
grandimk/camel
Apache Camel
grandimk/course-dbt-grandimk
Repository for Analytics Engineering with dbt (co:rise)
grandimk/gobyexample
Go by Example
grandimk/NewsClustering
grandimk/quarkus-kafka-test-apps
Kafka test applications written using Quarkus
grandimk/rust-aws-lambda-example
Example of AWS Lambda in Rust: check if a user exists.
grandimk/rust-by-example
Learn Rust with examples (Live code editor included)