Roberto Casadei's repositories
compile-and-publish-all-latex
One composite action to get a LaTeX project deploy its pdfs automatically on GitHub
Language:JavaScriptMIT000
compile-latex-action
A GitHub Action that compiles all LaTeX documents in one shot, automatically, with minimal configuration
Language:RubyMIT000
experiment-2022-coordination-ac-rl
Experiments on Reinforcement Learning-based Aggregate Computing
Language:Scala000
Language:ScalaNOASSERTION000
Language:ScalaNOASSERTION000
learning-abs
Learning Abstract Behavioural Specification
Language:Jupyter Notebook000
Language:Python000
Language:Scala000
oop-reporting-machinery
Builds a project made in Eclipse without Gradle, producing reports
Language:Kotlin000
protelis-to-kotlin-doc
A tool that makes Protelis documentation comments parsable by Dokka
publish-on-central
A Gradle plugin for streamlined publishing on Maven Central
risultati-asn-2021-2023
Elenco quotidiano dei risultati ASN
Template-IEEE-Computer-Society-Magazines
A template repository for quickly setting up papers to be submitted to the IEEE Computer Society Magazines, with CI in place.