Pinned Repositories
AdventOfCode
agda-notes
Agda lecture notes for the Functional Programming course at TU Delft
agda-sandbox
algebra
Algebra 1 and Algebra 2 notes at UNIPV.
an-num-labs
analisi-funzionale
Appunti del corso
charon
ct-notes
Some notes about Category Theory.
haskell-strelitzia
Install TeX Live packages on the fly
minimal-texlive-installer
Get yourself a minimal TeXlive on GNU/Linux.
indrjo's Repositories
indrjo/minimal-texlive-installer
Get yourself a minimal TeXlive on GNU/Linux.
indrjo/ct-notes
Some notes about Category Theory.
indrjo/AdventOfCode
indrjo/agda-notes
Agda lecture notes for the Functional Programming course at TU Delft
indrjo/agda-sandbox
indrjo/algebra
Algebra 1 and Algebra 2 notes at UNIPV.
indrjo/an-num-labs
indrjo/analisi-funzionale
Appunti del corso
indrjo/charon
indrjo/haskell-strelitzia
Install TeX Live packages on the fly
indrjo/itaca-guitart-extenseurs
For ItaCa [work in progress...]
indrjo/commutative-diagrams
CoDi: Commutative Diagrams for TeX
indrjo/dotfiles
indrjo/fisica2-unipv
indrjo/hardv
A Highly Extendable Flashcard Quiz App for UNIX Terminals
indrjo/haskell-sandbox
Various things written in Haskell
indrjo/learn-git
Learning git
indrjo/lhs2tex
Preprocessor for typesetting Haskell sources with LaTeX
indrjo/lisp-sandbox
indrjo/PointSetTopology
indrjo/teoria-misura
indrjo/TeX-gitignore