Massimo Nocentini's repositories
my-undergraduatethesis-java
java implementation of the concepts discussed in my document
on-the-little-schemer
some lisp code written reading some books
CalcoloNumerico
Document of numerical analysis for the Calcolo Numerico course at Florence University
latex-with-style
A few pieces of advice for LaTeX users, to help them prepare documents with better typography, streamline their writing workflow, and write maintainable LaTeX code.
theory-of-programming-languages
Bag for my work during the course of Theory of Programming Languages at University of Florence
metodi-formali-verifica-sistemi
Formal Models For System Verification course notes
miniKanren
Canonical miniKanren implementation
my-undergraduate-thesis
My Undergraduate Thesis at University of Florence
non-layered-tidy-trees
Code accompanying the SP&E paper "Drawing non-layered tidy trees in linear time" by Atze van der Ploeg
quantitative-systems-analysis-exam
Homework for `Quantitative Systems Analysis' exam taught by Andrea Bondavalli and Silvano Chiaradonna at University of Florence
seven-languages-xtext
Seven Languages in Seven Weeks (with Xtext)