indrjo

Pinned Repositories

AdventOfCode
Language:Haskell0 1 00
agda-notes
Agda lecture notes for the Functional Programming course at TU Delft
Language:TeX00
agda-sandbox
Language:Agda00
algebra
Algebra 1 and Algebra 2 notes at UNIPV.
Language:TeX00
an-num-labs
Language:TeX00
analisi-funzionale
Appunti del corso
Language:TeX00
charon
Language:Shell00
ct-notes
Some notes about Category Theory.
Language:TeX1 1 01
haskell-strelitzia
Install TeX Live packages on the fly
Language:Haskell00
minimal-texlive-installer
Get yourself a minimal TeXlive on GNU/Linux.
Language:Shell40

indrjo's Repositories

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