Victor Cacciari Miraldo

hdiff. Hash-based Diffing for AST's

generics-mrsop. Haskell

agda-rw. This is the place where (more or less) stable releases of my RW library will be published.

lw2019-generics-workshop. Contains exercises for the workshop in generic programming at Lambda World 2019

latex-uustthesis. MSc and PhD thesis template for the Software Technology group at Universiteit Utrecht

hs-fragem. Haskell Fractal Geometry of Music

msc-agda-tactics. A Repo for managing my Master's thesis files.

my-phd-thesis. Haskell

victor-emacs-config. OUTDATED; please check my `vsr` repo and go under `config/emacs` for my current emacs config.

DMZ-Custom-Color. Generate a custom color cursor theme from `DMZ-White`

hs-glc. Haskell

victorcmiraldo.github.io. My personal website.

cf-agda. Library for generic programming with context-free elements in Agda

hs-victor-lsys-cover. Haskell

my-xmonad. My xmonad configuration

ghc-14987-repro-pipeline. Haskell

hs-yada. Yet Another Diffing Algorithm

lhs2tex-template. TeX

hs-bn. Bayesian Network

agda-hdiff. Attempts at formalizing `hdiff`s diff and merge

mmm. Monadic Mealy Machines in Haskell. This is part of the QAIS Project (http://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/WebHome)

ghc-proposals. Proposed compiler and language changes for GHC and GHC/Haskell