mell-o-tron

Publications and seminars

BSc Thesis Revised version on arXiv.
CoqShop Seminar on Coq, part of a series of seminars by "The Knights Who Say $\lambda$"
Curry-Howard-Lambek Seminar on the Curry-Howard-Lambek correspondence.

Selection of projects

This is a selection of my main projects. Some of them (UNI) are my university projects, the others are personal.

CG project (UNI)
MellOS: A minimal, collaboratively written kernel
CORDIC FixedPoint: A performance test for trigonometric functions (UNI)
Road Network Simulator: A microscopic / macroscopic traffic simulator (UNI)
λ-maj7: A simple functional programming language
Visualization series:
- PySimplex2D: Symplex algorithm in $\mathbb R^2$.
- PyNewton: Newton's method for single (real) valued functions.
- PyNewtonFractal: The fractal that arises from Newton's method in the complex plane.
- PyGraphTheory: A selection of graph algorithms and visualizations
- PyLattice: A simple tool for visualizing and animating 2D lattices

PyKarnaugh: A boolean expression simplifier based on $n$-dimensional k-maps.

$\LaTeX$'d version of Chapter 4 of professor Bigi's Operations Research notes, in Italian; now published on the professor's website. (UNI)

alpt: A literate programming tool

OCaml-Turing-Machine: An OCaml implementation of the Turing Machine

Interests

Two lists of things I like

The following is a short, non-exhaustive list of topics I currently find interesing; I update this list quite often, as my interests are currently quite dynamic:

Visualization of pretty maths, through:
- illustrations (TikZ)
- animations (I'm learning Manim)
- interactive visualizations (mostly PyGame)
Graph theory
Category Theory
Computer-assisted theorem proving
Computational models of complex systems

This second list is another short list, of more informal nature.

Music:
- John Field - Nocturnes
- Radiohead - Fog (Again)
What... is the airspeed velocity of an unladen swallow?