ATirelli

Trieste, IT

Pinned Repositories

atirelli.github.io
Personal Webpage hosted on github.io
Language:HTML00
Cellula
A collection of scripts for end-to-end, flexible and semi-automatic single-cell analysis.
Language:Python00
series-intro-to-github-flow-ATirelli
series-intro-to-github-flow-ATirelli created by GitHub Classroom
00

ATirelli's Repositories

ATirelli/atirelli.github.io
My webpage
Language:HTML
ATirelli/fuzzy-pancake
ANTLR4 parser generation for the TIMP programming language.
Language:Python
ATirelli/ideal-octo-barnacle
C++ exercise on implementing a train maintenance scheduler
Language:C++
ATirelli/monads-coq
Monads, from category theory and functional programming, in Coq.
Language:Coq
ATirelli/silver-funicular
Example of a PySpark ETL pipeline
Language:Python