Alessandro Candolini's repositories
dotfiles-public
Personal dotfiles
stack-templates
Collections of project templates for the stack Haskell build tool.
latex.classicbook.g8
Giter8 template for book-like LaTeX notes
scala3.ce3.g8
Unofficial giter8 template for scala3/sbt cli and servers using typelevel stack
advent-of-code2023
Advent of Code 2023 in Haskell
Language:Haskell000
agda-proofs
Examples of using agda to write programs and proofs
agda-qm
Reason formally about some abstractions used in the formalism of quantum mechanics
Language:Agda000
Language:TeX000
agda.g8
Template for minimal agda project with nix
Language:Scala000
Language:TeX000
Language:TeX000
handout_qm
Notes in introductory quantum mechanics
haskell-bc
Toy implementation of bc in haskell
Language:Haskell000
haskell-markdown-parser
toy and incomplete markdown parser in haskell just for fun
Language:Haskell000
Language:Haskell000
latex.handout.g8
Giter8 template for latex notes
latex.slides.g8
Giter8 template for latex slides
pitaya
explorations around theory and practical applicability of join calculus to solve industry problems
000
Language:Haskell000
Language:Kotlin000